Describir: Pensar con tipos.