@@ -50,7 +50,7 @@ get (Id id) (Table _ dict) =
50add : info -> Table info -> (Table info, Id)
50add : info -> Table info -> (Table info, Id)
51add info (Table nextId dict) =
51add info (Table nextId dict) =
52 ( Table (nextId + 1) (Dict.insert nextId info dict)
52 ( Table (nextId + 1) (Dict.insert nextId info dict)
53− , nextId
53+ , Id nextId