fn typed(value: &Value, shape: Option<&Shape>) -> Value
A record as Cedar sees it: the fields the shape types as datetime become datetime values, everything else passes through as JSON. With no shape, everything passes through.
datetime