Function type declarations are right-associative