Ответ 1
В общем случае "X замкнуто относительно Y" означает, что если вы возьмете некоторые Xs и Y, результат будет X. Например, "набор целых чисел закрыт при добавлении" означает, что если вы берете два целых числа и добавить их, результатом будет целое число.
Поэтому, говоря, что класс Applicative закрыт по составу, означает, что если вы возьмете два аппликативных функтора и скомпилируете их, результат будет также аппликативным функтором.