Возьмите скромную идентификационную функцию в Haskell, id :: forall a. a -> a . Учитывая, что...

Есть ли способ в Standard ML, чтобы заставить функтор выводить структуру, которая имеет все...

В спецификации не так много информации о том, что это за тип, и, конечно же, там нет ничего о его...