<div dir="ltr">I see this as being generally (as in, to the users of Haskell as a whole) useful:<div><br></div><div>newtype Ap f a = Ap { getAp :: f a }</div><div>  deriving (Applicative, Eq, Foldable, Functor, Generic, Generic1</div><div>                ,Monad, Ord, Read, Show, Traversable)</div><div><br></div><div>Some hand-written instances:</div><div>instance (Applicative f, Semigroup a) => Semigroup (Ap f a) where</div><div>  (Ap x) <> (Ap y) = Ap $ liftA2 (<>) x y</div><div><br></div><div>instance (Applicative f, Monoid a) => Monoid (Ap f a) where</div><div>  mempty = Ap $ pure mempty</div></div>