module Test.TypeUsed where

foo :: Bool
foo = undefined