PlaceHolder

data PlaceHolder

type family PostTc it ty :: *

type family PostRn id ty :: *

placeHolderKind

placeHolderFixity

placeHolderType

placeHolderTypeTc

placeHolderNames

placeHolderNamesTc

type DataId id