module ShouldFail where

f (B a) = True
