"Why is a Monad Like a Writing Desk?" by Carin Meier (2012)