flexible records

[Henry Cejtin]

I  would  think  that it would be better to go for the opposite: a very small
context.   The  point  is   not   algorithmic   difficulty,   it   is   human
understandability.   For  polymorphic functions I know that the context can't
matter.  For overloading, I know that the context does, so I  would  like  to
not  have  to  look  too  far  to find that context.  If you use a very large
context then you end up with cases where changing  some  far  away  code  can
cause the overloading resolution to fail.