余帰納的型