SMS dit: Tracing monadic computations and representing effects