Inference is a little more involved once you add lambda abstraction and function application. Recommended: Christoph Hegemann: type inference from scratch: ht

Inference is a little more involved once you add lambda abstraction and function application. Recommended: Christoph Hegemann: type inference from scratch: https://www.youtube.com/watch?v=ytPAlhnAKro https://www.youtube.com/watch?v=ytPAlhnAKro