ICFP 2023 Lightning Talk Recording Two Tricks to Guide Type Inference Decoupled functional dependencies Implicit Proxy params Based on previous work: re-xyr/cleff#23 https://gist.github.com/ramirez7/fab0ba053f27b73c2a50bafa69c26be4 https://gist.github.com/ramirez7/60aa92aa8e0e1f368e0e6bef69bc2591