module Test.ConstructorsUnused where import Data.Bool (Bool (True, False), not) foo = not