Conversation

Was scrounging for an "easy" example of a Functor that's not an Applicative. ((,) a) is pretty good! [no way to define pure :: v -> (a,v)]

Interesting to think about. There is an instance if a is a Monoid.

Replying to

Good point!