Agda-2.3.2.2: test/fail/Issue183.err
Issue183.agda:15,13-14 E (_x_8 f) (_x_8 f) !=< L (E f f) of type Set when checking that the expression e has type L (E f f)
Issue183.agda:15,13-14 E (_x_8 f) (_x_8 f) !=< L (E f f) of type Set when checking that the expression e has type L (E f f)