fix type infer for pattern
	modified:   src/TypeInfer.hs
	modified:   test/Test.hw