> Lots of valid code, won't pass the type checker Perhaps you could give us an example of code you want to write that doesn't pass the type checker. We alread

> Lots of valid code, won't pass the type checker Perhaps you could give us an example of code you want to write that doesn't pass the type checker. We already know about the case of maps, but it's been pointed out that is solved by row types. A different example would be good.