hub.darcs.net :: ross -> transformers -> issue

#41Comonad f => Comonad (Lift f)

Icelandjack

Does this instance make sense? My Comonad skills are not up to par

• Ross PatersonWed May 10 10:06:49 UTC 2017

  Presumably it would be equivalent to

  Comonad f => Comonad (Sum Identity f)

  but if defined it would have to go in the comonad package, which depends on transformers.

• Ross PatersonWed May 10 21:36:32 UTC 2017
  • status set to closed