>>348
>OCamlだと型が関数のように引数を受け取れない
いったい何を言っているんだ

OCaml version 4.00.1

# type ('s, 't) tes = Tes of ('s -> 't);;
type ('s, 't) tes = Tes of ('s -> 't)