added a straw-man definition for Traversal suitable for endo-profunctors