Macro maybe_whole

macro_rules! maybe_whole {
    ($p:expr, $constructor:ident, |$x:ident| $e:expr) => { ... };
}