kvars :: Visitable t => t -> [KVar]
kvars                = fold kvVis () []
  where
    kvVis            = defaultVisitor { accPred = kv' }
    kv' _ (PKVar k _) = [k]
    kv' _ _           = []
kvars :: Visitable t => t -> [KVar]
kvars                = fold kvVis () []
  where
    kvVis            = defaultVisitor { accPred = kv' }
    kv' _ (PKVar k _) = [k]
    kv' _ _           = []
kvars                = fold kvVis () []
  where
    kvVis            = defaultVisitor { accPred = kv' }
    kv' _ (PKVar k _) = [k]
    kv' _ _           = []