($$$) :: [b -> c] -> [b] -> [c] 	-- Defined at <interactive>:1:8-10