It would be nice if this message:

Role mismatch on variable a:
  Annotation says representational but role nominal is required
while checking a role annotation for `Point'

Could be extended to say where the requirement arises.