[Hat] Tracing a program that uses Control.Monad.ST