_interface_ TyCon 1
_exports_
TyCon TyCon;
_declarations_
1 data TyCon;