Applicative will be a super (type)class of Monad, and is added to the Prelude. | Heykuki News