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