I pointed my brother Stephen Webber to this conversation and he replied with "The Internet of Types"
Douglas Perkins likes this.
Sounds like an instance of the Expression Problem. Type classes were made for this. ;)
Christine Lemmer-Webber likes this.