So, on one hand I totally think there’s some really cool expressivity in these “everything is a lambda” language experiments. On the other hand, it makes effic

So, on one hand I totally think there’s some really cool expressivity in these “everything is a lambda” language experiments. On the other hand, it makes efficient runtime (runtime is a tricky word here ;) ) representation of data types a bit more opaque! Or at the very least I’ve seen little work that attacks that problem. That said, perhaps all the optimization tricks developed for self and small talk etc are the answer here?