refine
	modified:   Module.hs
	modified:   Parser.hs
	modified:   Test.hw
	modified:   TypeInfer.hs