Есть такая функция:

import Data.List

f :: Ord a => [a] -> Bool
f xs = minimum xs == head (sort xs)

Можете ли вы найти аргумент, для которого эта функция возвращает False, используя только предопределенные типы?