Comonad transformers using functional dependencies.

WWW: http://github.com/ekmett/comonads-fd/
