fn mk_cycle<Q, Qcx>(query: Q, qcx: Qcx, cycle_error: CycleError) -> Q::Value
where Q: QueryConfig<Qcx>, Qcx: QueryContext,