module T3057A where

data MyType a b = C1 a | C2 b