let arity t =
  List.length (type_of_args t)