представления не имею, почему именно это лимит, но подобное полиморфное значение является частным случаем произведения по множеству всех типов
т.е. если взять дискретную категорию, в которой объекты - типы хаскеля и нет стрелок, кроме айдентити, а потом построить функтор D, соответствующий тайпконструктору f, пределом D будет такой тип
я просто помню где-то у Кметта было, что это лимит