introduccion - ¿Cuáles son los problemas con una codificación ADT que asocia tipos con constructores