The automatic generics look at lot like how OCaml implements inference for structural typing.