Seeing if I can put into use the TDD I've learnt to achieve Hindley-Milner type inference