Issue4268.agda:7,9-24
funSort Set (piSort Set (λ z → _4 (_ = z))) should be a function
type, but it isn't
when checking that _ is a valid argument to a function of type
funSort Set (piSort Set (λ z → _4 (_ = z)))
