module Test.TypeConstructorUsed (
  true ) where

import Data.Bool (Bool (True))

true = True