Graphics.UI.Editor.DescriptionPP
type Applicator beta gamma
data FieldDescriptionPP alpha gamma
mkFieldPP
extractFieldDescription
flattenFieldDescriptionPP
flattenFieldDescriptionPPToS