raptor wrote: > And second why when I try do do function composition i.e. : > > newf = map . f > > But this works : > > newf x = map (f x) Does f has constraints? It should work with a type signature. HTH Christian