Predicates (kernel)

There is no predicate syntax in the kernel.

A predicate is just:

A → Bool

Predicate sugar desugars to:

λ_. e

Field shortcuts:

price > 80
⇒ λx. x.price > 80

Pattern predicates:

Some _
⇒ λx. case x of Some _ → True | _ → False