An applicative functor has more structure than a functor but less than a monad. See the Haddock docs for Control.Applicative.
Control.Applicative