module Test.TypeUsed (
  foo ) where

foo :: Bool
foo = undefined