>>> 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