[Haskell-cafe] Deepest polymorphic functor

[Eduard Sergeev]

I was wondering if it is possible to somehow change "deep" f_map from
http://okmij.org/ftp/Haskell/deepest-functor.lhs article in a such a way
that it would work not only for monotypes like in the provided example:

test1 = f_map (+1) [[[1::Int,2,3]]]

But for polymorphic types as well (e.g. behaves like simple map) so the
following line would compile as well:

test1 = f_map (+1) [[[1,2,3]]]

?

-- 
View this message in context: http://www.nabble.com/Deepest-polymorphic-functor-tp24709303p24709303.html
Sent from the Haskell - Haskell-Cafe mailing list archive at Nabble.com.