Proceeding further in the Haskell-land might help even more, since Haskell is essentially typed lambda calculus.