Corresponding types were used in C RTS for `Con`-related constructors.
Corresponding types were used in C RTS for `Con`-related constructors.

kojiromike/Idris-dev,kojiromike/Idris-dev,kojiromike/Idris-dev,kojiromike/Idris-dev,kojiromike/Idris-dev,kojiromike/Idris-dev