Well, in Haskell, this seems like a case where you'd want a typeclass for getting the age out of your type. More generally, though, it seems like row-types mig

Well, in Haskell, this seems like a case where you'd want a typeclass for getting the age out of your type. More generally, though, it seems like row-types might be a form of static typing that would fit Rich's preferred style of programming.