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)