-> a) -> k -> a -> Map k a -> Map k внутри неё есть k- > a, откуда это a берётся?
Пока писал, понял, вопрос снят)
там в сигнатуре отдельно параметр k-> и отдельно параметр a->
Обсуждают сегодня