Revised draft gui-monade