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