to illustrate some type erasure issues