パターンマッチが網羅される、とはどういうことか？についてちょっと整理しましょう。わかりやすい部分として、普通のリストを考えますが 
な例は、どんなリストに対しても「どのパターンに行けばいいか決定できない」というケースがないので網羅しています。
switch list { case let .Cons(v): ??? case let .Nil: ??? } みたいな な例は、どんなリストに対しても「どのパターンに行けばいいか決定できない」というケースがないので網羅しています。