1 2 3 4 5 6
-- once produced a bug, here as regression test module ShouldSucceed where f _ | otherwise = ()