1 2 3 4 5 6 7 8 9 10 11
-- !!! ds008 -- free tyvars on RHSs -- -- these tests involve way-cool TyApps module ShouldCompile where f x = [] g x = (f [],[],[],[]) h x = g (1::Int)