module Test.TypeUsed where

import Data.Bool ()

foo :: Bool
foo = undefined