плюс траверсабилизация всех фолдаблов

Объясните, почему невозможно по представителю Foldable для конструктора типа сгенерировать представителя Traversable.