FWIW I completely agree, I think -> rt is a very silly idiom in declarations. It’s fine and useful for lambdas.