Proposal: Add "writer" Monad instance (,
) o to Control.Monad.Instances
felipe.lessa at gmail.com
Thu Sep 23 12:19:23 EDT 2010
On Thu, Sep 23, 2010 at 12:58 PM, Jake McArthur <jake.mcarthur at gmail.com> wrote:
>> where the return definition relies on the Applicative instance of ((,) o).
>> Written out explicitly,
>> return a = (mempty,a)
I didn't realize we had an applicative instance for ((,) a). That
being the case, +1 for this proposal.
I would just like to change ((,) o) to ((,) a) to be consistent with
the Applicative instance .
More information about the Libraries