Move typeclasses to the core
Simplify typeclass instances
Merge upstream/master
Restore sections
Revise Monad
Merge pull request #131 from CodaFi/core-less-the-typeclasses

Move Typeclasses Out of the Core
Merge remote-tracking branch 'upstream/master'