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