module MicroKanren class Var < Array ; end end