Can we have this with explicit typing? (Not even a joke)