Use actual type instead of type variable

[fvictorio]

Use Msg instead of msg in the signature of viewValidation.

msg works because, I guess (extrapolating from my poor Haskell knowledge) is a type variable (a would work too). But maybe someone reading the tutorial may get confused about the change in the signature.