:load Color

succ Red
succ Green
succ Blue

pred Red
pred Green
pred Blue

Red == pred Green
Red == Blue
succ Green == Blue

eqColor Red (pred Green)
eqColor Red Blue
eqColor (succ Green) Blue