_tcModalSignTc :: TyCon
_tcModalSignTc = mkTyCon "Modal.ModalSign.ModalSign"
_tcModalSignTc :: TyCon
_tcModalSignTc = mkTyCon "Modal.ModalSign.ModalSign"
_tcModalSignTc = mkTyCon "Modal.ModalSign.ModalSign"