module ShouldSucceed where main = iD iD iD x = x