[tel]

I love that example, but it does depend upon some pretty arcane features in Haskell's type inference engine.