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