https://kidokim509.github.io/posts/type-erasure/