■

おぉーはぁーよぉー(^o^)
（「〜リポD飲んで寝よう．」のエントリが執筆されてから，著者がリポDを飲み，布団の中に入ってから，何かを思いついて，布団を抜け出し， PC の前に着席し，本エントリの執筆が開始される，この間たったの5分）
「polymorphic lambda は concept check と相性が悪いから難しいねぇ」みたいなのを見るにつけ， type deduction ならぬ requirement deduction 的なものがとてもほしいような気がするというトンデモな直感．