Siguiendo con tipos inductivos