which doesn't really make sense, imo, since with type erasure these functions wouldn't work at all, but without type erasure they have different signatures