Text this: Tracing monadic computations and representing effects