Text this: Tipos genéricamente estables, bifurcación y thorn-bifurcación