refine
	modified:   Module.hs
	modified:   Parser.hs
	modified:   Type.hs
	modified:   TypeInfer.hs