(and no `<` bound)
# general
f
(and no
<
bound)