How to choose between Hindley-Milner and bidirectional typing