Deakstadieđáhus: Tracing monadic computations and representing effects