macro_rules! types {
    ($($t:ident, $wrap:ty),*) => { ... };
}