Connected Hindley-Milner Algorithm to Type module