~alexander/hs: Add Why Do Monads Matter

Signed-off-by: Alexander Berntsen <alexander@plaimi.net>
~alexander/hs: Add equational reasoning articles

Signed-off-by: Alexander Berntsen <alexander@plaimi.net>