The fact that you're using `full-tail-ty` here instead of `tail-ty` looks like it's a semantic change.  Is that intentional, and do have an example where it's relevant?