「ぶいビィ」と「るビィ」ってなんか似てるな。それだけ。

ここに書いておけば誰か教えてくれるかも、と思ったんだった。MLで単相型に出てくる型変数'_aとかって日本語でなんて言ったらいいでしょう？英語だと「imperative type variable」とか「monomorphic type variable」というやつだと思うのですが。とりあえず…