এই পাঠটি: Tracing monadic computations and representing effects