Control.Functor.Lambek

Lambek's Lemma