`$type` is unused