module Prelude where

newtype Unit = Unit {}

unit :: Unit
unit = Unit {}

data Boolean2 = True | False