[Haskell-cafe] Monadic vs "pure" style

[Bulat Ziganshin]

Hello Jacques,

Thursday, September 01, 2005, 6:55:43 PM, you wrote:


>>instance (Monad m, MyNum v) => MyNum (m v) where
>>    (.+) = liftM2 (.+)
>>  
>>
JC> Such simplified forms then occur often enough that, in a scrapping 
JC> boilerplate kind of way, I would really like to be able to write 
JC> something like

JC> instance (Monad m, MyNum v) => MyNum (m v) via lifting

JC> where all the operations from MyNum are obtained via applying the correct arity liftM function from the Monad class.

Template Haskell is a good instrument to do it


-- 
Best regards,
 Bulat                            mailto:bulatz at HotPOP.com