haskellで文字を数字に変換したい

Question

aabbという文字列を1122という文字列に変換したくて下記のコードを書いたところ
x=='a'でエラーを吐かれました
型がCharではないというエラーだったので[a]を[Char]にしたらエラーが消えました。
[a]は何でもよいという認識があったのですが、なぜ型が違うとエラーを吐かれたのでしょうか？
教えてください

change_number::[a]->[Int]
change_number []=[]
change_number (x:xs)
    |x=='a' = 1:change_number xs
    |x=='b' = 2:change_number xs

change_number::[Char]->[Int]
change_number []=[]
change_number (x:xs)
    |x=='a' = 1:change_number xs
    |x=='b' = 2:change_number xs

Answer 1

Haskellにおいてシングルクォーテーションで囲んだ文字はCharです。
'a','b'と書いた時点で、==で比較するリストの要素はCharに限定されます

(==)の型は
Eq a => a -> a -> Bool
ですが、型変数aには等しいことが定義できる型であれば、質問者様がいうところの「何でもよい」型をとることができますが、引数同士は同じ型である必要があります。