import Control
.Monad.Writer
fun a = writer (a + 1, ["Increment"])
getValue
= fst $ runWriter
aW1wb3J0IENvbnRyb2wuTW9uYWQuV3JpdGVyCgpmdW4gOjogSW50IC0+IFdyaXRlciBbU3RyaW5nXSBJbnQKZnVuIGEgPSB3cml0ZXIgKGEgKyAxLCBbIkluY3JlbWVudCJdKQoKZ2V0VmFsdWUgOjogV3JpdGVyIFtTdHJpbmddIEludCAtPiBJbnQKZ2V0VmFsdWUgPSBmc3QgJCBydW5Xcml0ZXIKCm1haW4gOjogSU8gKCkKbWFpbiA9IHByaW50ICQgcnVuV3JpdGVyICAkIHJldHVybiAxID4+PSBmdW4gPj49IGZ1bg==