@omochi Yes, the spelling is intentional. The type eraser is the type that implements type erasure.

type erasureは型消去というパターンの事で、それを実現するための型消去器(とでも言えばいいのか)の事を type eraser と呼ぶらしい。 (edited)