このパターンマッチの形式初めて見ました。こういう使い方もできるのか。