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