SYB generics and Monad vs Applicative

I've been learning to the SYB generics functionality in Data.Data and the syb package. I find myself wondering whether the use of Monad and MonadPlus could be generalized to Applicative and Alternative. My first experiments suggest that they can be and that some of the code can be greatly simplified. Has this question already been explored? -- Conal

Hi Conal,
On Mon, Jan 9, 2012 at 21:41, Conal Elliott
I've been learning to the SYB generics functionality in Data.Data and the syb package. I find myself wondering whether the use of Monad and MonadPlus could be generalized to Applicative and Alternative. My first experiments suggest that they can be and that some of the code can be greatly simplified.
Has this question already been explored?
Not as far as I know. Do you have some code you can share? Thanks, Pedro
-- Conal
_______________________________________________ Libraries mailing list Libraries@haskell.org http://www.haskell.org/mailman/listinfo/libraries
participants (2)
-
Conal Elliott
-
José Pedro Magalhães