module Test.TypeUsed (
  foo ) where

import Data.Bool (Bool, not)

foo :: Bool
foo = undefined