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
F[A]as a standalone entities, as well as their relationship with typeclasses/algebras, especially the fact that algebras describe part of their behaviour, but some things are specific to each concrete datatype <-- failure to understand this leads to the "how do I get this value out of IO" fallacy