module Test.ConstructorsUnused where

import Data.Bool ()

foo = not