effects_reset.rs

mod reset {
    pub trait Reset<C> {
        fn reset<B, K>(self, shift: impl FnOnce(K) -> C, k: K) -> C
        where
            K: FnOnce(B) -> C;
    }

    pub struct CallBack {}
    impl<C> Reset<C> for CallBack {
        fn reset<B, K>(self, shift: impl FnOnce(K) -> C, k: K) -> C
        where
            K: FnOnce(B) -> C,
        {
            shift(k)
        }
    }

    pub fn thirteen(reset_handler: impl Reset<usize>) {
        let shift_k = |k: fn(usize) -> usize| k(1) + k(3);
        let thirteen = 5 + reset_handler.reset(shift_k, |n| n + 2);

        println!("Result: {thirteen}",);
    }
}

use reset::*;

fn main() {
    thirteen(CallBack {});
}