Text this: Unifying Theories of Programming with Monads