Macro mod_type 

macro_rules! mod_type {
    () => { ... };
    ($head:ty) => { ... };
    ($head:ty, $($tail:ty),*) => { ... };
}

Creates a ModuleType from a list of Types

ogma::mod_type!(A, B, C) // => Cons<A, Cons<B, Cons<C, Nil>>>

If A, B and C implement Matcher then mod_type!(A, B, C) should implement Matcher