module Test19839 where

minimal :: a ⊸ a
minimal x = x

maximal :: a -> a
maximal x = x