Macro map_types 

map_types!() { /* proc-macro */ }

Matches something like this:

use type_mapper::map_types;

let x: map_types!(
    match Vec<T> {
        Vec<_> => u8,
        _ => u16,
    }
) = 1_u8;