Control.Functor.Lambek
Lambek's Lemma
lambek
hlambek
colambek
hcolambek