module ShouldFail where

instance B Bool where
 op1 a = a
