Haskell, ou um compilador específico, tem algo como lambdas no nível de tipo (se é que é mesmo um termo)?

Para elaborar, digamos que eu tenha um tipo parametrizadoFoo a b e querFoo _ b para ser uma instância de, digamos, Functor. Existe algum mecanismo que me permita fazer algo semelhante a

instance Functor (\a -> Foo a b) where
...

?