Couldn't match expected type `String' against inferred type `Char'

ところで、この文章しょっちゅう見かけるんだけど、うまく翻訳できません。
「Char型が推論されたが不可で、String型が期待されたが、マッチできなかった。」

"美しい"日本語を見せてくれませんか。