module ShouldFail where

f x = B x