E.: Uniqueness typing simplified—technical appendix (0)

by de Vries