Applicative and Monad