文脈によっては、x の型を文脈とともに明示的に与えないと、型検査が失敗することがあるとおもいます。

あーそれは確かにそうかも……