Control.Concurrent.STM.TSem

data TSem

newTSem

waitTSem

signalTSem