misc

stm

modify

TRef

modifyState

TRef

monad

STM

monoid

STM

monoidK

STM