module Test.TypeConstructorUnused (
  true ) where

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

true = True