Added equational reasoning investigation of Andres Loeh's "Monads for Free!" presentation.