Data.Digit.D0

class D0 a