Между прочим, в вычислителе пределов функтора были баги, вызванные unchecked assignments. Так что натыкал юниттестов, починил код, запостил апдейт.
Ушла почти неделя на осознание и починку. Казалось бы, ерунда ж...
Надо будет главы поправить; и ещё "про мономорфизмы" дыбр написать.