# Traversals A special type of [[Optics (FP)]] that can return one or more elements. Can be represented as [[Profunctors]] (but I have no idea what that even means). [[Haskell]] [[Category Theory]] ## Links - [Traversals 3: Existential and Profunctor representations of Traversals |   Bartosz Milewski's Programming Cafe](https://bartoszmilewski.com/2021/04/01/traversals-3-existential-and-profunctor-representations-of-traversals/)