[_Codemonkeyism]

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