Some more exercises with types