fn pippo<F>(a: Option<F>)
    where F: Fn() -> bool {
    if let Some(f) = a {
        println!("{:?}", f());
    }
}

fn main() {
    pippo(None);
}