explode

[Brian Goetz]

> Alternative A: overloading on method names.
> Alternative B: overload on SAMs.  This involves three SAMs:

To contrast these:
  - A has uglier method names, but fewer new types

  - B has prettier method names (and therefore prettier use site usage), 
but introduces more new ancillary types and puts more stress on type 
inference.

Specifically, I am wondering how we're going to represent "explode Foo 
to ints" -- which is probably an important use case.