Generics are not equivalent to loose types.