VD
Ну вот да, я потому и говорю, что странно это. Никаких прям ос-специфичных пакетов там не было, стандартный набор всяких bytestrings, text, containers, aeson, etc.
Perhaps, if return becomes an alias for pure, i.e. after the monad of no return GHC proposal is implemented, all four can be generalized to Applicative.
А я уже чот сто лет думал, что
return = pure и везде пишу pure вместо return.