type classes with only defined laws to guideline

[kailuowang]

This shall fix #334

[codecov-io]

Codecov Report

Merging #1720 into master will not change coverage.
The diff coverage is n/a.

@@           Coverage Diff           @@
##           master    #1720   +/-   ##
=======================================
  Coverage   93.88%   93.88%           
=======================================
  Files         246      246           
  Lines        4088     4088           
  Branches      154      155    +1     
=======================================
  Hits         3838     3838           
  Misses        250      250

---

Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update 1931c93...b34ea40. Read the comment docs.

[kailuowang]

assigning @ceedubs since you thumbed up on #334

[ceedubs]

@kailuowang thanks for this! Sorry, but I didn't see it until too late, and it has merge conflicts :(

[kailuowang]

@ceedubs sorry for the delayed response. Conflicts resolved

[LukaJCB]

This is great for clarification! :)

[ceedubs]

Thanks @kailuowang!