This pull request adds a new interface called Iter that will allow the data types to implement the foldMap method for Traversal in Arrow Optics easily once the Kind type is removed.
It also provide an implementation of the interface for Either, Option and Validated
Closed since after further discussion Traverse is gonna loose the foldMap related methods which will get moved to Each, constructed with both a fold and map
This pull request adds a new interface called Iter that will allow the data types to implement the foldMap method for Traversal in Arrow Optics easily once the Kind type is removed.
It also provide an implementation of the interface for Either, Option and Validated