Handling of abstract types