revert checking back
	modified:   src/TypeInfer.hs
	modified:   test/Test.hw