¿Cómo se define una excepción personalizada en Haskell?

Question

La documentación Control.Exception dice que puedo hacer lo siguiente para crear mi propia excepción:

data MyException = ThisException | ThatException 
    deriving (Show, Typeable) 

instance Exception MyException 

Si me pega esto en un archivo y compilar (después de importar Control.Exception y Data.Typeable), me sale:

exp.hs:6:20: 
    Can't make a derived instance of `Typeable MyException' 
     (You need -XDeriveDataTypeable to derive an instance for this class) 
    In the data type declaration for `MyException' 

¿Debo activar esta extensión para tener excepciones definidas por el usuario? Si no, alguien por favor da un ejemplo. Gracias.

Answer 1

Sí, debe activar esa extensión. No es una buena idea intentar escribir la instancia Typeable a mano porque tiene algunos vínculos con las partes internas de GHC.