Tipos inductivos: currificación de constructores
Más tipos inductivos
inductivos