Agda-2.3.2.2: test/fail/Issue735.err
Issue735.agda:16,12-16 ((A₁ : Set _8) → Set _8) !=< Set _8 of type Set (Common.Level.lsuc _8) when checking that the expression List has type Set _8
Issue735.agda:16,12-16 ((A₁ : Set _8) → Set _8) !=< Set _8 of type Set (Common.Level.lsuc _8) when checking that the expression List has type Set _8