Added applicative law check, which worked out of the box.
Added law checks for accumulating Ors. Also pass.
Move Mark Hibberd's example into a Spec to make sure that still works.