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