{-# htermination insertBy :: (a -> a -> Ordering) -> a -> [a] -> [a] #-}
import List