More type safety via row polymorphism
Update example