https://5dok.net/document/ozln99rq-the-metatheory-of-the-monadic-hybrid-calculus.html