macro_rules! lowpartfn { ( $( [$bound:expr]: $var:ident -> $f:expr,)* ) => { ... }; }
More convenient syntax to create a lower partial function