Literal

data Literal a

variable

oppositeLiteral

isPositive

isNegative