Some laws any MonadAsync implementation should obey.
Some laws any MonadSuspend implementation should obey.