Text this: Una vista sobre tipos abstractos y extensibles