@eshear if we had done things right, we could instead be using a distributed/decentralised type system, which anybody could publish a given data type to, along with type class instances for converting to/from common formats (e.g. for serialisation or display)
@calwerz when I say "true discovery", I'm thinking about the strictest meaning of discovery. like something that would literally change my view of reality. I guess finding intelligence life is an interesting "discovery", but is it really something that's completely out of my expectation?