run

StateT

runA

StateT

runEmpty

StateT

runEmptyA

StateT

runEmptyS

StateT

runF

StateT

runS

StateT