// RcFn / RcFnKind tests — RED phase (types not yet implemented).
// Will compile once the implementer adds RcFn, RcFnKind, and lift_a1_rc.
// The `kind` submodule intentionally mirrors the crate's `kind_based::kind` path.
// Do-notation tests: compiled only when the `do-notation` feature is enabled.