type family ClassIgnoresSubtree (cls :: * -> Constraint) (typ :: *) :: Bool where ...

type family AppSelector (c :: * -> Constraint) (a :: *) :: Bool

type family AppPruning (c :: * -> Constraint) (a :: *) :: Bool

type family IgnoredFields (t :: *) :: [Symbol]