The way to do this is to use
Unsafe.cast
, which has type 'a -> 'b
.
You should never use this -- if you think you need to, you probably should instead consider whether what you're trying to do is really a good idea. It's called unsafe for a reason.