Uniqueness Typing Simplified

by Edsko De Vries, Rinus Plasmeijer, David M Abrahamson