Resolution of abstract types