In Haskell there is a ghc flag to defer type errors. https://downloads.haskell.org/~ghc/7.8.4/docs/html/users_guide/defer-type-errors.html https://downloads.ha

In Haskell there is a ghc flag to defer type errors. https://downloads.haskell.org/~ghc/7.8.4/docs/html/users_guide/defer-type-errors.html https://downloads.haskell.org/~ghc/7.8.4/docs/html/users_gui...