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