all tests passing with hindley-milner. w00t