I think the "only types matter" applies when you're simply applying natural transformations between isomorphic types.