low-level library for minimizing the size of your types - View it on GitHub