Reflecting values at the type level - View it on GitHub