FunctorLawsSpec ScalaCheck (and starting on Monoid spec)