Nats.scala

object Nats {

  //we define natural numbers
  //using peano numbers

  //inspired from shapeless and https://gist.github.com/jto/2dc882c455b79378289f

  trait Nat
  case object Z extends Nat
  case class Succ[N <: Nat](n: N) extends Nat

  //shorthand for 1
  type One = Succ[Z.type]

  //Equality of Peano numbers
  trait Eq[M <: Nat, N <: Nat]

  delegate eq0 for Eq[Z.type, Z.type]
  //delegate N for Eq[N, N] { }
}