`$type` is unnecessary here, since you can't have custom user types.