[pdexter]

Haskell doesn't require top level type definitions.

[bno1]

True, it warns you when compiling with -Wall. I still think it's helpful.