Oooh that's a good idea. Does that already exist in other languages? I've not seen it before.
It is a common feature in languages derives from the ML family[0].
[0]: https://en.wikipedia.org/wiki/ML_(programming_language)
Needless distinctions like that make the fresh air a little less fresh...