Ord-ering sum types

Main.purs

module Main where

import Prelude
import Control.Monad.Eff.Console

newtype A = A Int

data Foo = Foo | Bar | Baz

derive instance eqFoo :: Eq Foo
derive instance ordFoo :: Ord Foo

derive instance eqA :: Eq A
derive instance ordA :: Ord A

main = do
  logShow $ A 1 > A 2
  logShow $ max Foo Bar == Foo