macro_rules! Lazy {
    (Table<$I:ty, $T:ty>) => { ... };
    ([$T:ty]) => { ... };
    ($T:ty) => { ... };
}