Decodes a variant form as a typed value, if possible.
Decodes a variant form as a typed value, if possible.
the variant domain of the form to decode.
the variant form to decode.
the decoded value, or Trap
if the deconstruction failed.
Encodes a typed value as a variant form.
Encodes a typed value as a variant form.
the variant domain in which to encode the value.
the typed value to encode.
the encoded form in the variant
domain.
Returns a fallback typed value.
Normalizes encoded values into a preferred form, if one exists.