add an example for type erasure

see http://wasabiz.hatenablog.com/entry/2013/08/18/142749 (ja)