expected

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