PlaceHolder
data PlaceHolder
type family PostTc id ty
type family PostRn id ty
placeHolderKind
placeHolderFixity
placeHolderType
placeHolderTypeTc
placeHolderNames
placeHolderNamesTc
placeHolderHsWrapper
type DataId id