create Arity.agda