data class Arr : Type
Arr(argument: Type, result: Type)
val argument: Type
val arity: Int
val result: Type
fun validate(t: Any?): Unit