{-# htermination insert :: Ord a => (Maybe a) -> [(Maybe a)] -> [(Maybe a)] #-}
import List