
19 Nov
2015
19 Nov
'15
6:34 a.m.
On Thu, Nov 19, 2015 at 1:33 AM, Mike Houghton
Nice.
I first looked at
data C a = C a deriving (Show)
and made Monad, Applicative, Monoid and Functors for it.
Even though the null-effect instances for the identity functor are trivial, there's value in writing them out, especially for the motivated. But how do you take an arbitrary type and turn it into a monoid? -- Kim-Ee