module ShouldSucceed where b = if True then 1 else 2