guard_update.erl:6: The call guard_update:f
         (#{'a' => 2}) will never return since it differs in the 1st argument from the success typing arguments: 
         (#{'b' := _, _ => _})
guard_update.erl:8: Clause guard cannot succeed. The variable M was matched against the type 
          #{'a' := 2}