traversable: remove assumption that ‘F’ is equivalent to ‘of(F)’

[davidchambers]

Commit message:

This assumption may hold for some types with one data constructor, but it will not hold for types with more than one data constructor.

I've lost track of the number of hours I've spent looking at these laws. They still confuse me. :thinking:

/cc @Avaq