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

Specifically:
	Can't unify P x with P y