A Note on Generic Types