Control.Monad.STM.Class

class MonadSTM stm

retry

check

orElse

throwSTM

catchSTM

Utilities for type shenanigans

data IsSTM m a

toIsSTM

fromIsSTM