デストラクタ
値を構築するコンストラクタの逆で、値を破棄あるいは解体する
1. オブジェクトを破棄する際に適切にリソースを解放するための関数
dispose
2. オブジェクトtから値aを得る処理や関数
パターンマッチとか
死のトラクターではない