tipos - Mantenimiento de estado complejo en Haskell