The full specification of the RFC permits you to leave out `'a` binders. This is a placeholder issue dedicated to implementing that portion of the spec.