How to choose between Hindley-Milner and bidirectional typing

131 pointsthunderseethe.dev
thunderseethe4day