Stylistic thing: how do you feel about exporting `Repy` and `UpdState` from case statements? I try and avoid it just 'cos my editor complains. Personally I think it requires more reading to track down the source of the bindings.