Думая о картах как о представлениях конечных функций, карта двух или более переменных может быть задана либо в каррированной, либо в некарриентной форме; то есть типы Map (a,b) c и Map a (Map b c) изоморфны или близки к этому. Какие...