要素から外部表現を得る関数の分岐をパターンマッチで書き直した