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