Diff annotated-types-0.5.0 with a annotated-types-0.7.0

Thank you!