В базовом примере GADT из §7.20 руководства по ocaml , что означает «тип а». ? Почему недостаточно объявить eval: a term -> a? type _ term = | Int : int -> int term | Add : (int -> int -> int) term | App :...