хм, так, какая-то нестотыковка
мое ожидаемое поведение
- для каждого конструктора нужно генерить призуму
- для каждого поля нужно пытаться генерить линзу
- для каждого поля, для которого не получилось сделать линзу, нужно пытаться генерить траверсал
- на остальное кидать ошибку