/
On Type Inference — Trendlair