(defs, sigs, n) <- State.get
let sigs' = map (\(id, info) -> (id, if id == id' then info' else info)) sigs
State.put (defs, sigs', n)
(defs, sigs, n) <- State.get
let sigs' = map (\(id, info) -> (id, if id == id' then info' else info)) sigs
State.put (defs, sigs', n)