Extend forceability over guarded indices of recursive datatype occurrences.