demonstrate weird effects of type erasure