Of Types and Men

Re Invalid types as warnings:

Ghc since 7.6 has had a -fdefer-type-errors flag --- http://www.haskell.org/ghc/docs/7.6.2/html/users_guide/defer... --- which produces warnings at compile-time and exceptions at runtime.