module Test.TypeConstructorUsed (
  true ) where

true = True