Describir: Pensar con tipos :