Data.Digit.D7

class D7 a