Monadify iface/MkIface: use do, return and standard monad functions