[Haskell-cafe] Deepest polymorphic functor

[Eduard Sergeev]

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.