-- We can discard type information if we want
toHValueRef :: RemoteRef a -> RemoteRef HValue
toHValueRef = unsafeCoerce
toHValueRef :: RemoteRef a -> RemoteRef HValue
toHValueRef = unsafeCoerce
toHValueRef = unsafeCoerce