2 ms·Applicative will be a super (type)class of Monad, and is added to the Prelude.3 points by cies 13y ago