Shrink type annotations with #:implements/inits.