3 ms·
I think the "only types matter" applies when you're simply applying natural transformations between isomorphic types.
by ummonk 6y ago
I think the "only types matter" applies when you're simply applying natural transformations between isomorphic types.