-- |fromDisjointList takes a list of disjoint (Var id, VarsIn) pairs
-- |and returns a VarSubsts.
fromDisjointList :: VarsIn a => [(Idx, a)] -> VarSubsts a
fromDisjointList l = IM.fromList l
fromDisjointList :: VarsIn a => [(Idx, a)] -> VarSubsts a
fromDisjointList l = IM.fromList l
fromDisjointList l = IM.fromList l