{-# htermination listToFM :: [((),b)] -> FiniteMap () b #-}
import FiniteMap