module Test.TypeConstructorUnused where

import Data.Bool ()

true = True