-- !!! make sure correct type applications get put in
-- !!!   when (:) is saturated.

module ShouldCompile where


f = (:)