>>396
型推論器が、NotEmptyと推論できない場合のすべて、じゃない？
関数引数で、型がスタック一般の場合とか。