{-# htermination delListFromFM :: (Ord a, Ord k) => FiniteMap (Either a k) b -> [(Either a k)] -> FiniteMap (Either a k) b #-}
import FiniteMap