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