In between Applicative and Monad. Here is a library providing it.