Name: Anonymous 2010-04-11 23:00
(:).(++) :: [a] -> [[a] -> [a]] -> [[a] -> [a]]
(:).(++) :: [a] -> [[a] -> [a]] -> [[a] -> [a]]
(:) . (++) is equivalent to \f fs -> (f ++) : fs. Do you see why?liftM2 ((:) .)?