Digit3

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