Something like `'name @@ String` ?
# arrow
s
Something like
'name @@ String
?