In Haskell there is a ghc flag to defer type errors.

https://downloads.haskell.org/~ghc/7.8.4/docs/html/users_gui...