let
from_value {of_raw = of_raw} a = a |> value_to_raw |> of_raw