リストxsの要素xでf(x)を最大（最小）とするようなものを探す
(Ord b)=> (a->b)->[a]->a
型の関数ってどっかにないの？