What would this do with instance Num a => Num [a]
in scope? On Tue, Jul 28, 2009 at 3:51 PM, Eduard Sergeev<[email protected]> wrote: > > 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. > > _______________________________________________ > Haskell-Cafe mailing list > [email protected] > http://www.haskell.org/mailman/listinfo/haskell-cafe > _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
