パターンマッチに失敗すること多くない？
たとえば「空でないリスト」型が欲しいとき、ぬるぽ的な実行時エラーを防げるの？