module ShouldFail where

data C a = B a c