class Dry::Schema::Macros::Maybe

def to_ast
  [:implication,
   [
     [:not, [:predicate, [:nil?, [[:input, Undefined]]]]],
     trace.to_rule.to_ast
   ]]
end