Add MonoidSpec
ex 10.5