You contradict yourself: > the natural way of programming is to define relations (functions) on a small number of core data structures. ... > ... And that inf

You contradict yourself: > the natural way of programming is to define relations (functions) on a small number of core data structures. ... > ... And that information is embodied in its type If you encode information in type, you will have a very large number of data structures.