Значение "закрытого по составу"

Ответ 1

В общем случае "X замкнуто относительно Y" означает, что если вы возьмете некоторые Xs и Y, результат будет X. Например, "набор целых чисел закрыт при добавлении" означает, что если вы берете два целых числа и добавить их, результатом будет целое число.

Поэтому, говоря, что класс Applicative закрыт по составу, означает, что если вы возьмете два аппликативных функтора и скомпилируете их, результат будет также аппликативным функтором.

Ответ 2

Состав Applicative f и g равен

newtype Compose f g a = Compose { getCompose :: f (g a) }

и "Applicative закрывается по композиции" означает, что этот newtype сам имеет экземпляр Applicative.

http://hackage.haskell.org/package/transformers-0.3.0.0/docs/Data-Functor-Compose.html