module Test.TypeUnused where import Data.Bool (Bool, not) foo = not