<@U0BHS1Y07>: I don't know how to typecheck arbitr...

# language-proposals

[orangy]

@voddan: I don't know how to typecheck arbitrary query. As soon as you have joins, you are screwed. May be union types could help, but I doubt.