[Haskell-cafe] Type Coercion

[PR Stanley]

Hi
(16 :: Float) is a perfectly legitimate statement although I'm 
surprised that it's allowed in a type strong language such as 
Haskell. It's a bit like casting in good old C. What's going on here?
Paul