Data.Digit.D4

class D4 a