Traits for function items

would this solve the problem described in the FnStatic Pre-RFC