[tel]

Types in Haskell won't buy you 100% of what you need, but they may buy you 50%.