Don't need standard Damas-Hindley-Milner inference