Implement infer_instance (incomplete)

TODO: method definition
Merge branch 'master' of https://github.com/minmell/minihaskell