Nicer interface for reified information about data types
