module Test.TypeConstructorUsed where

import Data.Bool (Bool (True))

true = True