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.

_______________________________________________
Haskell-Cafe mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell-cafe

Reply via email to