Support compilation with GHC 7.4.

PolyKinds isn't enabled in tagged on GHC 7.4, so we define our own appropriately kinded proxy type.