let
to_value {to_raw = to_raw} a = a |> to_raw |> raw_to_value