module Test.TypeConstructorUnused where

import Data.Bool (Bool (False, True))

true = True