module Rn053_B where

data D = C1 | C2