module T7947a where

data A = C1 | C2 | C