Control.Monad.Trans.AutoRecorder
data
AutoRecorderT
m a
recorder