map :: ((a -> b) -> [a]) -> [b]I am not following here: what do you mean? Clearly, this is not a valid typing for map. Moreover, modulo undefinedness, there are no functions with this typing.map _ = []
Ah, well, and that one, of course... :-) Cheers, Stefan _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
