Дык по идее все эти абстракции взялись, исходя из приемов программирования на реальном языке, а не из общетеоретических рассуждений - ничего принципиально нового. Думаешь, это как кандидаты на реализацию в виде лексических конструкций в самом языке или стандартных библиотеках?