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