I guess I can kind of see where you’re coming from, and I think you could soundly argue that expression body functions might benefit from explicit typing in all cases