macro_rules! bounded_impl {
    ($t:ty, $min:expr, $max:expr) => { ... };
}