What do you mean w.r.t. partial data being noncompositional?
I like to relate datatypes and TCs by dictionary passing, so the same things should usually hold for both (modulo canonicity), except for some reason TCs are usually functions and "smart data" is usually non-functions.
Conversation
This Tweet was deleted by the Tweet author. Learn more
This Tweet was deleted by the Tweet author. Learn more
The same thing could be done for data by simply exposing the implementation, or no? It just customarily isn't. (Possibly for good reasons!)
This Tweet was deleted by the Tweet author. Learn more
Sounds like we're on the same page :)
This Tweet was deleted by the Tweet author. Learn more
I misread this as Woof and didn't understand. One of those days.
1
This Tweet was deleted by the Tweet author. Learn more
