On Nov 17, 2015, at 10:22 AM, Ben Gamari <ben at well-typed.com> wrote: > * Kind equality Richard Eisenberg > Patches coming soon? Yes yes yes. Coming soon! I'll post an update to D808 presently if anyone wants to watch from home. Richard