Style progressing on Hindley /Milner Typecher implementation