case :a
in { b: Integer => x, d: "e", f: } then
  :g
end
