Hands-On Intro to Bidirectional Type Inference with Elm -Lucas Dutton & Christopher Anand #FnConf 25