The appeal of bidirectional type-checkinghaskellforall.com5 points·gbrown_··0 commentsOpen articleSaveView on HN