The type erasure pattern – a summary