Data.Generics.ClassyPlate.Common
class MonoMatch a b
type family TypEq a b :: Bool where ...
descend
descendM
topDown
topDownM
bottomUp
bottomUpM
selectiveTraverse
selectiveTraverseM
smartTraverse
smartTraverseM