Traversable identity law is not as general as I expect

Motivation

I expect that I can assume traverse pure = pure

Proposal

Change this law:

identity
    traverse Identity = Identity

to this:

identity
    traverse pure = pure

or else add an explanation to the documentation why we mustn't assume this or why we already can assume this