monadPlus.strongLaws test