Church numerals (preprint)

class TypedLambda[T] {
  type TT = T => T
  type Church = TT => TT
  val zero: Church = f => x => x
  def succ(n: Church) = f => n(f)
  val uno = succ(zero)
  val dos = succ(uno)
  val tres = succ(dos)
}

(developed tonight in cooperation with Larry Diehl, David Pollack, and one more person who preferred to stay anonymous.)

(UPD: fixed after critique)