repl, but that's a good working title for now :) )
Showtypeclass, to allow further customization of the output, we're dealing with HTML here after all
FP in Scala?
finalto typeclass instance methods?
F[A]) and monads
unit, which means it can't be a monad (for both practical and theoretical reasons)
* -> *) - matter. This is the most neglected part, everyone's talking about "monads", in ways that generate lots of confusion. A good treatment of this helps you tremendously understanding the rest
Monoidbeing an example