Pretty much!

The language does support limited sugar for tuples without parentheses in some specific cases, such as `match` and `let`:

    let x, y = 5, 4 in
    ...

    match x, y in
        | 4, 7 => None
        \ _, y => Just y

However, these cases only incidentally lower to tuple pattern matching, and deliberately hide the fact that tuples are used internally.