Вопрос двух-недельного новичка: The Monad Reader Issue 14, typeclassopedia, Pointed type class, автор предлагает самостоятельно догадаться как выглядит имплементация:

pure:: a -> f a

для ((->) e), правильно ли я понимаю что это

pure = ((->))

?