1 2 3 4 5
# Reference 0. []() 0. [Uniqueness Typing Simplified](https://www.researchgate.net/publication/221600600_Uniqueness_Typing_Simplified)