> No, but you can always encode this augmented information in types to make it explicit

Technically yes, but not all type systems make it practical, or really relevant e.g. you can encode nullability in a type in java… but your reference to your Optional is still itself nullable.