module TcFail where

data B = C A
