これは，例外タグを別の例外型の子型として登録する：

以下は，登録タグを持つExceptionオブジェクトを構築する：

以下は，2つの例外型を持つ．よりエキゾチックなExceptionオブジェクトを作成する：T

以下は，ArgumentTypeError例外型の登録を解除する：

次は，別の例外型の子タイプとして例外タグを登録する：

次は，登録されたタグを持つExceptionオブジェクトを構築する：

次は，使用可能な例外特性である：

次は，例外に関連付けられた主要タグを抽出する：

次は，例外タグの完全に展開されたリストを抽出する：

次は，例外構築時に提供されたデータを抽出する：

次は，例外データを持つ完全な連想を抽出する：

この連想を使って例外が構築できる：

次は，ArgumentTypeError 例外型の登録を外す：

次は，特定のメッセージ情報を含む例外を作成する：

既存のシンボルのメッセージを使ってExceptionオブジェクトを作成することができる：

次はExceptionを作成する：

次は，上記をFailureに変換する．デフォルトで，変換対象となる例外の主要タグを直接文字列化することによって，結果として得られるFailureオブジェクトの文字列タグが取得される：

変換は損失なしで，もとの例外を再構築することができる：

次は，Failureオブジェクトへ変換する際に使用するタグを指定してExceptionを作成する：

次は，結果のFailureオブジェクトに指定された文字列タグを使って，上記をFailureに変換する：

次は，Failureオブジェクトを作成する：

このFailureオブジェクトは例外タグ（"ExceptionTagList"特性）に関する情報を含むため，Exceptionに直接変換できる：

次は，Exceptionオブジェクトを，そのデータを含む連想から構築する：

この構築モードでは，"ExceptionTag"または"ExceptionTagList"のキーの少なくとも一つが存在する必要がある点に注意のこと．

Exceptionコントラクタはベキ等である：

ペイロードとして追加のデータが渡される場合，そのデータは付加される：

追加データに，例外のデータに既に存在するキーと衝突するキーが含まれている場合，そのデータは上書きされる：

しかし，追加データには，"ExceptionTagList"や"ExceptionTag"のようなシステムキーは含まれてはならない：