Implementation of insertion sort by predicate in Haskell based on
algorithm from page 40 (of my edition* here and later)
* ISBN 978-5-8459-1794-2