read

TMVar TQueue

release

TSemaphore

retry

STM