ENSIME さんは怒りませんでした… tomykaira さんも高階関数のときだけと仰っていましたね。