Type distinctions of reason and Hume's Separability Principle

Commentators have taken the distinctions of reason to pose either a counterexample to or a limitation of scope on the Separability Principle. This has been convincingly addressed by various accounts. However, I argue in this paper that there are two notions of 'distinction of reason', one between particular instantiations (token distinctions of reason) and one between general ideas (type distinctions of reason). Discussion of the distinctions of reason in the secondary literature has without fail focused on token distinctions of reason, but I will argue that type distinctions of reason prove problematic for Hume's Separability Principle. I find a way around this problem that is consonant with Hume's account of general ideas, but which can hardly be said to be an account which he explicitly or even implicitly endorsed.