More on types