_tcM_FORMULATc :: TyCon
_tcM_FORMULATc = mkTyCon "Modal.AS_Modal.M_FORMULA"
_tcM_FORMULATc :: TyCon
_tcM_FORMULATc = mkTyCon "Modal.AS_Modal.M_FORMULA"
_tcM_FORMULATc = mkTyCon "Modal.AS_Modal.M_FORMULA"