Arnaud Spiwack
Arnaud Spiwack
@treeowl could you help me read through your code example? I don't think I understand what I'm supposed to see.
(2) seems to be largely a theoretical concern. I don't know any example (for the record, in the case where `dup2` and `consume` were given explicitly but not `dupR`, then...
Indeed. In fact, I believe it's an equivalence: if `FUN 'One r` is an applicative functor, then `r` is dupable (_i.e._ a comonoid). I think this free with the lax-monoidal...
It's likely that I avoided adding a monad for `FUN 'One` because I don't like the error messages that you get when you forget an argument in a monad. But...