Type Stripping with Zero Dependencies
termer.net