refine
	modified:   src/Module.hs
	modified:   src/Transformer.hs
	modified:   src/TypeInfer.hs