Tight closure/Generic bound/Parameter situation/Example