Agda-2.3.2.2: test/fail/UnquoteSetOmega.err
UnquoteSetOmega.agda:19,11-27 Setω is not a valid type when checking that the expression (z : Level) → Set z has type _4
UnquoteSetOmega.agda:19,11-27 Setω is not a valid type when checking that the expression (z : Level) → Set z has type _4