PlaceHolder
data PlaceHolder
type family PostTc it ty :: *
type family PostRn id ty :: *
placeHolderKind
placeHolderFixity
placeHolderType
placeHolderTypeTc
placeHolderNames
placeHolderNamesTc
type DataId id