@private @inline not True = False not False = True @private @inline id x = not (not x) main = id True -- true