Data.Digit.D1

class D1 a