ATraversal' s a显示其中s包含0到许多a的。
toListOf :: Traversal' s a -> (s -> [a])
任何类型的t，其是Traversable自动具有traverse :: Traversal (t a) a。
我们可以使用Traversal来设置或映射所有这些a值
> set traverse 1 [1..10] [1,1,1,1,1,1,1,1,1,1] > over traverse (+1) [1..10] [2,3,4,5,6,7,8,9,10,11]
Af :: Lens' s a表示的a内部恰好有一个s。Ag :: Prism' a b表示中有0或1b秒a。写作f . g给了我们Traversal' s b，因为下面f再g怎么也有0到1所示bS IN s。