add PartialTypeAnnotations?

See PartialTypeAnnotations.

changed weight to 5

added Trac import task labels

changed title from add PartialTypeSynonyms? to add PartialTypeAnnotations?

changed the description

changed the description

changed the description

changed the description

changed the description

Trac metadata

Trac field	Value
Component	HaskellPrime → Proposal

assigned to @trac-none and unassigned @trac-ijones

changed milestone to %⊥

moving non-milestoned many year old legacy tickets out of the way

Set default priority (as this confuses Trac otherwise)