Monads are now official API; some initial support for dialogs