Working on the dbuitl QMonad