haskell haskell@gentoo.org Comonad transformers using functional dependencies