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