`$type` is a string.