vsavkin

//Y-Combinator
final Y = (f) =>
  ((x) => f((y) => x(x)(y)))
  ((x) => f((y) => x(x)(y)));


//booleans
final TRUE = (x) => (y) => x;
final FALSE = (x) => (y) => y;
final cond = (b) => b;