Can uniplate's `universeBi` be used to retrieve nodes in a breadth-first fashion?...

zip AST with bool list...

Count `Pat`s in a Module...

Deriving Uniplate with Derive...

Simplifying a GADT with Uniplate...

How can holes and contexts be implemented for higher-kinded types in a lens style uniplate library?...