fromList :: VarsIn a => [(Idx, a)] -> VarSubsts a
fromList (h:t) = foldl (\a -> \b -> composeVarSubsts (fromDisjointList [b]) a) (fromDisjointList [h]) t
fromList :: VarsIn a => [(Idx, a)] -> VarSubsts a
fromList (h:t) = foldl (\a -> \b -> composeVarSubsts (fromDisjointList [b]) a) (fromDisjointList [h]) t
fromList (h:t) = foldl (\a -> \b -> composeVarSubsts (fromDisjointList [b]) a) (fromDisjointList [h]) t