pure +base

pure :: Applicative f => a -> f a
base Control.Applicative