Monadify specialise/SpecConstr: use do, return and standard monad functions