final case class Digit5[N1 <: Base, N2 <: Base, N3 <: Base, N4 <: Base, N5 <: Base](_1: Tag[N1], _2: Tag[N2], _3: Tag[N3], _4: Tag[N4], _5: Tag[N5]) extends Tag[Digit5[N1, N2, N3, N4, N5]] with NatTag trait Serializable
trait Product
trait Equals
trait NatTag
class Object
trait Matchable
class Any