Implementing type inference in Haskell Andres Löh, Well-Typed LLP Vienna Haskell Meetup, 2025-03-27 This branch (main) contains the final version. The branch original contains the starting point.