Haskell for all: The appeal of bidirectional type-checkinghaskellforall.com7 pointscolinprince4 years ago