Bindings to Haskell's IO monad which respect Agda's semantics - View it on GitHub