{-# htermination insert :: () -> [()] -> [()] #-}
import List