haskell - q のタイプの手動導出 (本体で指定)

Question

qのタイプがであり、 ではない理由がわかりOrd t => [t] -> [a]ませんOrd a => [a] -> [a]

q [] = []
q (x:xs) = q us ++ q ws
  where us = filter (<=x) xs
        ws = filter (>=x) xs

どのような状況で、入力タイプが出力と異なる可能性がありますか?

ありがとう、
セバスチャン。

Answer 1