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