PlaceHolder
data PlaceHolder
type family PostTc id ty
type family PostRn id ty
placeHolderKind
placeHolderFixity
placeHolderType
placeHolderTypeTc
placeHolderNames
placeHolderNamesTc
placeHolderHsWrapper
type DataId id
type DataIdPost id
type family NameOrRdrName id where ...
type OutputableBndrId id