Haskell has -fdefer-type-errors, which makes any type error fail at runtime. This means you can only really rely on the parts of your program which are type co

Haskell has -fdefer-type-errors, which makes any type error fail at runtime. This means you can only really rely on the parts of your program which are type correct, so...