Monad and transformer for deferred-effect pure prompt-response queries - View it on GitHub