Можете объяснить концепцию связанного типа в контексте типизации?