Update README to list the Identity monad