4 ms·

This is a good explanation of how the Monad typeclass maps onto data functors, but I'm not sure that it translates well onto Control functors such as (-> r).

• louthy 6y ago
  I was mostly just trying to clarify and unpack the GP's quite terse statement. Definitely not trying to write a monad tutorial ;)
  • johnday 6y ago
    Oh, sure! In that case, mission accomplished with flying colours :)