[Haskell-cafe] Deepest polymorphic functor

Eduard Sergeev Eduard.Sergeev at gmail.com
Fri Jul 31 03:05:05 EDT 2009




Ryan Ingram wrote:
> 
>> instance Num a => Num [a] where ...
> 

O... I see what you mean. So... no way around? e.g. no way to define
deep_fmap for not grounded types?
-- 
View this message in context: http://www.nabble.com/Deepest-polymorphic-functor-tp24709303p24752047.html
Sent from the Haskell - Haskell-Cafe mailing list archive at Nabble.com.



More information about the Haskell-Cafe mailing list