No offense but it's hard to take you seriously when you call OCaml type system primitive. Also OCaml obviously has generics independently of functors. Polymorp

No offense but it's hard to take you seriously when you call OCaml type system primitive. Also OCaml obviously has generics independently of functors. Polymorphic functions and types are literally everywhere.