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