<@U0B8ZP13Q>: no, in a functional type declaration...
# announcements
y
@cedric: no, in a functional type declaration
->
is also followed by a type