Beginnings of generic-infer.