* *
Class keys
* *
*********************************************************************
* *
TyCon keys
* *
*********************************************************************
* *
DataCon keys
* *
*********************************************************************
* *
Id keys
* *
*********************************************************************