Day 4: Added specs for Semigroup-, Applicative- and Monoid laws.