Add link to Comonads in Haskell.