remove params of Arity, make it a separate interface