Text this: Just do It: Simple Monadic Equational Reasoning