module Test.TypeConstructorUsed where

true = True