Support for abstract types