[thurn]

Yes. For example, the powerful "transducers" concept from Clojure essentially cannot be represented in the Haskell type system.

[eru]

Here's an attempt: http://hypirion.com/musings/haskell-transducers