native NamespaceName {
}

native Type {
}

native EnumType {
}

native SimpleNativeType {
}

native SimpleStructType {
}

native StructType {
}

native SumType {
}

native TypeOrConstructor[T] {
}

native Field {
}