Lawvere theories and effects

lawvere.txt

The Category Theoretic Understanding of Universal Algebra: Lawvere Theories andMonads: 
  - http://www.pps.univ-paris-diderot.fr/~mellies/mpri/mpri-ens/articles/hyland-power-lawvere-theories-and-monads.pdf
  - interesting for the historical part on how both concepts were developed 
  
Just do it: simple monadic equational reasoning
  - http://www.cs.ox.ac.uk/jeremy.gibbons/publications/mr.pdf
  - laws for effects

Lawvere theories made a bit easier
  - http://blog.sigfpe.com/2012/02/lawvere-theories-made-bit-easier.html
  - Dan Piponi tries to make it more approachable for the rest of us

Using Lawvere theories to combine effects
  - http://blog.sigfpe.com/2012/02/using-lawvere-theories-to-combine.html
  - Dan Piponi tries to make it more approachable for the rest of us (part 2)

Extensible effects
  - https://www.cs.indiana.edu/~sabry/papers/exteff.pdf
  - if you haven't read this one. Contains some clear examples of where monad transformers < effect handlers