Я помню когда прочитал Data Types a la Carte, то подумал "ОЧЕНЬ КРУТО", а потом подумал "но нифига не понятно"... Здесь как-то ещё хуже, подумалось "КРУТО ЛИ", а потом подумалось "всё равно нифига не понятно"... Там структура статьи кривая, сначала библиотечный код, а потом motivating examples, должно быть, вроде, наоборот. Вообще как-то слишком сложно, когда читаю Олега Киселёва, то у меня всегда ощущение, что у него всё слишком просто, очень невминяемый код и магия, и понимание, что я бы ничего такого никогда не написал, но при этом всё читабельно и поняно. А вот здесь подозрение, что как-то слишком всё криво, если честно...