notes of universal and existential types