pub trait GenType {
    type Type<T>;
}