removed arity as part of TFun constructor (was useless)