Looking into abstract types.