Implementing Type Assignability Using Value Level Representation of Types
now we have value level representation of types;
has anyone implemented type assignability as a plain function using those schema representations?
has anyone implemented type assignability as a plain function using those schema representations?
