My blog post argues that a lot of these use cases are already doable with minimum loss in expressivity, and that the advantages offered by erasure are too strong to be ignored