читаю n3290 §1.10, постоянно ловлю себя на мысли, что уж больно напоминает лекцию по функану. никакой конкретики, одни формулировки и следствия