Doing permutation function
Redefining MonadNonDet