comonad transformers based on functional-dependencies - View it on GitHub