This is the equivalent of serialization using type classes in functional programming languages. You won't be able to do without for anything moderately complex.