I'm trying to implement a single primop to replace sameMutVar#, sameMutableArray#, etc. The primop should have type

unliftedPtrEquality#

:: forall (a :: TYPE 'UnliftedRep).

a -> a -> Int#

Unfortunately, I don't see a way to express this type in primops.pp.txt. Is it possible? If not, what's the right way to give the primop the right type?