ああ、やっとわかった、(,)って型構築子でもあるのか。
データ構築子としてしか知らなかったから(->)の例と辻褄が合わなくて混乱してた。