let
cast ev : t = cast ev ~kind:[
`
SETTING
]