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

#42Monad instance for (Lift f), when f is an idealised monad

Icelandjack

This gist https://gist.github.com/fumieval/4445447 (from Japanese blog http://fumieval.hatenablog.com/entry/2013/01/04/110339) describes a Monad instance of (Lift f) given that f is an "idealised monad".

Any thoughts?

• IcelandjackWed May 10 10:59:01 UTC 2017

  Started a reddit discussion: https://www.reddit.com/r/haskell/comments/6ac1x2/idealised_monads_or_monad_instance_for_lift_f/

• Ross PatersonWed May 10 21:37:44 UTC 2017
  • status set to closed

  It seems that ap would be different from (<*>) without additional assumptions, so this should be a different type.