Higher-rank types/polymorphism talk