I'll split this up into multiple PRs. Mostly creating this draft as a springboard for discussion.

Topics addressed:

• Override checkedApply on SemigroupFactory to help resolve checkedApply/apply incoherence
• Introduced a ShortCircuitingSemigroup with the hope of making short circuiting an easier pattern to add to semigroups/monoids in the future.
  • Does not address foldRight.
  • I'm not sure this is a good idea or if there's a better way to incorporate laziness
• Make collapse short circuit if it's underlying semigroups do