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