Title: The teaching of the types