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.
This Tweet was deleted by the Tweet author. Learn more
