fn main() {
    rec_clo0(|_| 42);
}

fn rec_clo0<R, F: Fn(&F) -> R>(f: F) {

}