module Test.TypeUsed where

import Data.Bool (Bool, not)

foo :: Bool
foo = undefined