type M1<T> = (T,T,T,T);
type M2<T> = M1<M1<T>>;
type M3<T> = M2<M2<T>>;
type M4<T> = M3<M3<T>>;

fn main() {
    let _: M4<()> = ();
}