1 2 3 4 5 6 7 8
-- Killed a test compiler, so I thought it was worth including module ShouldFail where f :: a -> [a] f x = g x where g y = if y then [] else [y]