Control.Monad.Trans.Chronicle
type Chronicle c
chronicle
runChronicle
data ChronicleT c m a
dictate
disclose
confess
memento
absolve
condemn
retcon