{-# htermination delListFromFM :: Ord a => FiniteMap [a] b -> [[a]] -> FiniteMap [a] b #-}
import FiniteMap