Tuple を作る関数がある 同名のFunctor型構成子もある模様 (,) :: a -> b -> (a, b) (,,) :: a -> b -> c -> (a, b, c) このような形の関数ではあるが演算子ではないみたいで、OCamlのようにかっこを省略した書き方はできないし 基本的に記号だからなのか中…