1 2 3 4 5 6 7
-- !!! make sure correct type applications get put in -- !!! when (:) is saturated. module ShouldCompile where f = (:)