PlaceHolder

data PlaceHolder

type family PostTc id ty

type family PostRn id ty

placeHolderKind

placeHolderFixity

placeHolderType

placeHolderTypeTc

placeHolderNames

placeHolderNamesTc

placeHolderHsWrapper

type DataId id