> This data type witnesses the lifting of a Monoid into an Applicative pointwise. https://www.stackage.org/haddock/lts-19.30/base-4.15.1.0/Data-Monoid.html#t:Ap What??