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