2 ms·

ah, he didn't existentially qualify the type

• TeMPOraL 14y ago
  That was his whole point. For all possible values and types of A, the only trivial function he found that goes A -> A is identity function.