change arities def, make the out type final and available