24 | | The alternatives of `TyCon.TyCon` get a new field `tyConCC :: StatusCC (TyCon, Id, Id)`. This field is `NoCC` for data constructors for which we have no conversion, `AsIsCC` if the original and the converted form coincide, and `ConvCC (T_CC, fr_T, to_T)` if we have a converted form. |

| 24 | The alternatives of `TyCon.TyCon` get a new field `tyConCC :: StatusCC (TyCon, Id, Id)`. This field is `NoCC` for data constructors for which we have no conversion, `AsIsCC` if the original and the converted form coincide, and `ConvCC (T_CC, to_T, fr_T)` if we have a converted form. In the last case, `T_CC` is the converted constructor and `to_T`/`fr_T` are conversion functions between values inhabitating types formed from the original and converted constructor. The type of these functions is as follows: |

| 25 | {{{ |

| 26 | toTy (C::k1->..->kn->*) = forall _1 .. _n _1_CC .. _n_CC. |

| 27 | toTy (_1::k1) -> .. -> toTy (_n::kn) -> |

| 28 | (C _1 .. _n -> C_CC _1_CC .. _n_CC) |

| 29 | }}} |