idris-0.9.9: test/reg010/expected

reg010.idr:5:Can't unify P x with P y

Specifically:
	Can't unify P x with P y