_tcM_BASIC_ITEMTc :: TyCon
_tcM_BASIC_ITEMTc = mkTyCon "Modal.AS_Modal.M_BASIC_ITEM"
_tcM_BASIC_ITEMTc :: TyCon
_tcM_BASIC_ITEMTc = mkTyCon "Modal.AS_Modal.M_BASIC_ITEM"
_tcM_BASIC_ITEMTc = mkTyCon "Modal.AS_Modal.M_BASIC_ITEM"