data class In : IsGeneric
In(type: VaryingType, vararg types: VaryingType)
In(types: HashSet<VaryingType> = hashSetOf())
val types: HashSet<VaryingType>