function

val function: (T & Any) -> Validity<T>