Eraser

A set of handy type-erasure primitive tools for Rust.