module Test.TypeConstructorUsed where

import Data.Bool ()

true = True