<div dir="auto">I'm trying to implement a single primop to replace sameMutVar#, sameMutableArray#, etc. The primop should have type<div dir="auto"><br></div><div dir="auto">unliftedPtrEquality#</div><div dir="auto">  :: forall (a :: TYPE 'UnliftedRep).</div><div dir="auto">     a -> a -> Int#</div><div dir="auto"><br></div><div dir="auto">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?</div></div>