module Rn053_A where

data D = C1 | C2