These accessors allow you to skip past the binder in a very lightweight way. This is a bad thing, since the binder is significant. We should refactor them away. While we're at it, it'd might be best if the internal field of a Binder was private. We would then add accesses for every PolyFooBar type for the fields of FooBar. These accessors would yield a Binder<T> for those fields that may contain late-bound regions. I've been moving to this model gradually, but we should finish the job.