A mutable reference type
type Reference a = <opaque>
#[infix(right, 9)] let <- : forall a . Reference a -> a -> ()
let load : forall a . Reference a -> a
let ref : forall a . a -> Reference a