Value Polymorphism in Rust

Haskell lets a value like def mean different things at different types. Rust doesn't — but generic functions are first-class zero-sized values whose type parameters are filled in by inference, which lets Prela resolve the same bare column name ty to different tables from context.