Type-level symbols compatible with older versions of GHC.