Lambda for type expressions in Haskell?

Question

Does Haskell, or a specific compiler, have anything like type-level lambdas (if that\'s even a term)?

To elaborate, say I have a parametrized type Foo a b

Answer 1

I don't like the idea of answering my own question, but apparently, according to several people on #haskell on Freenode, Haskell doesn't have type-level lambdas.