Monadify deSugar/DsListComp: use do, return, applicative, standard monad functions