fixes

added an alternative isPermutation. I think yours has a bug somewhere, 
isPermutation (\x -> (x+1) `mod` 5) [0,1,2,3,4] 
returns false

Changed inverse, still not sure what it's meant to do.