The top documents tagged [abstract ideal types]