Nicer interface for reified information about data types - View it on GitHub