haskell@gentoo.org Gentoo Haskell Kan extensions, the Yoneda lemma, and (co)density (co)monads ekmett/kan-extensions