*загробным голосом* Все значения с типом (s -> t) -> s -> s также имеют тип a -> b -> b.
Так что тип становится более общим в том смысле, что расширяется кодомен функции - однако и НЕ становится более общим в том смысле, что множество значений, имеющих такой тип, не расширяется.
no subject
*вызывает дух Карри-Ховарда*
*загробным голосом*
Все значения с типом (s -> t) -> s -> s также имеют тип a -> b -> b.
Так что тип становится более общим в том смысле, что расширяется кодомен функции - однако и НЕ становится более общим в том смысле, что множество значений, имеющих такой тип, не расширяется.