wqAdd in helper callback contant ::unit to the monads
Make Monad abstract again