No, multiple checkers will drive you crazy because one type checker will support one feature while another will report errors for it.