After big refactoring code surprisingly compiles but data disappears mysterically. So much for the benefit of type systems.