>>404
MS が処理系を提供してないから。
悲しいけど、これ現実なのよね。

>>405
引数のパターンマッチも結局は型推論なんで
型推論と言えばそれでよかったですね。