[icebraining]

Isn't Haskell somewhat like that, due to being lazy by default?

[_Codemonkeyism]

In Haskell you'd have the type signature everywhere I think, mostly as a monad transformer.