P E N C I L
Login
Functional

Predicate a->bool

BinaryOperator: a,b -> x

Funtcion: x->y

Supplier get() -> x

Consumer:: accept(x) -> void v