title: Monoid instance for A => A in Cats
body: <p>Functions <code>A =&gt; A</code> are monoid with <code>identity</code> as <code>empty</code> and composition as <code>combine</code>. Unfortunately I did not find it in <code>cats</code> library. Does the library provide a monoid instance for these functions ?</p>
  
  <p>What about <code>A =&gt; M[A]</code>, where <code>M</code> is a monad or applicative ?</p>