Agda-2.3.2.2: test/fail/Issue216.err
Issue216.agda:16,11-26 S i != i of type Level when checking that the expression (R : Set i) → R has type Set i
Issue216.agda:16,11-26 S i != i of type Level when checking that the expression (R : Set i) → R has type Set i