Control.Exception文档说明我可以执行以下操作来创建自己的异常：

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

 instance Exception MyException

如果我将其粘贴到一个文件中并进行编译（在导入Control.Exception和Data.Typeable之后），我会得到：

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'

我必须打开这个扩展才能有用户定义的例外吗？如果不是，请提供一个例子。谢谢。