9 Mar
2007
9 Mar
'07
8:23 p.m.
What was the motivation for providing the following Applicative instance? instance Monoid a => Applicative ((,) a) where pure x = (mempty, x) (u, f) <*> (v, x) = (u `mappend` v, f x) Is this instance described in "Applicative Programming with Effectshttp://www.soi.city.ac.uk/%7Eross/papers/Applicative.html"? I didn't spot a mention. Thanks, - Conal