Digit2

final abstract
class Digit2[N1 <: Base, N2 <: Base] extends Nat
class Nat
class Object
trait Matchable
class Any