I'm working on something like this, I'll definitely post a link to the gh here as soon as I'm finished

using macros I want to generate meander code that return transducers xD

why not write macros that write (macro based) meander code that would generate transducers functions? https://github.com/ribelo/danzig

(let [db {:db/id {:ivan  {:name   "Ivan"
                          :friend [:db/id :petr]}
                  :petr  {:name   "Petr"
                          :friend [[:db/id :smith] [:db/id :ivan]]}
                  :smith {:name   "Smith"
                          :friend [:db/id :petr]}}}]

  (m/search db
    {_ {?e {:name "Ivan"
            :friend (m/or (m/scan [?t ?f]) [?t ?f])}
        ?f {:name ?name}}}
    [?t ?f ?name]))
;; => ([:db/id :petr "Petr"] [:db/id :smith "Smith"])