Observations

Потерялся после 13-го слайда. :( Но считаю, как для самоучки без базового матана по теории категорий — нормально. :)

Вот хорошие слайды, очень близко к вашей лекции: Railway Oriented Programming



Я когда-то подобную штуку писал на коленке и наугад (без матана) для своей парсилки тайского языка. Там решение выглядело так, что кроме результата вычисления, тянулся еще description и дерево лемм.