reg010.idr:5:15:When elaborating right hand side of usubst.unsafeSubst:
Can't unify
	P x
with
	P y

Specifically:
	Can't unify
		P x
	with
		P y

