That would rule out this type: `(All (a) -> a : #:+ (1 @ x))` so it probably has to be "exacty one sexp after the `->` but before a `:`".