haskell - tipos - ¿Cómo se puede ajustar una restricción de clase en una instancia de una clase que