>>775
equalは構造の比較だから置いておくとして、
sortは比較関数次第でしょ？
入出力がリスト->リストだとして、比較関数とリストを引数に取るんなら、
比較関数側の入出力型判定でどういうリストが入力としてふさわしいか
実行前に判るんじゃない？
合成型とかの伝播考えると難しそうだけど。
シンボルをキーとしたalistをソートする場合は、
「caarがシンボルのリスト」とか、最低限何が満たされてる必要があるのか、
でもわかってれば有用なんじゃないかなあ。