https://9dok.org/document/zkw8k504-realizing-monads.html