module Mod157_A (T(..)) where data T = A | B | C