Closed Shimuuar closed 4 years ago
Idea is to factor out hash from three data types:
IdNode | OptNode | Hashed
and replace it
Hash · (Identity | Maybe | Proxy)
Kind and instance contexts become much simpler as result. In hindsight it's obvious solution to the point: how could one do it differently?!
Idea due to @thesz
Idea is to factor out hash from three data types:
and replace it
Kind and instance contexts become much simpler as result. In hindsight it's obvious solution to the point: how could one do it differently?!
Idea due to @thesz