-- once produced a bug, here as regression test

module ShouldSucceed where

f _ | otherwise = ()

