Bedingungen und Auswahl

• eine Transaktion abbrechen: retry
• eine Transaktion nur ausführen, wenn eine Bedingung wahr ist

  check :: Bool -> STM ()
  check b = if b then return () else retry
  

• eine Transaktion nur ausführen, wenn eine andere erfolglos ist: orElse