These type systems do not have decidable type inference and are difficult to understand and program with.
Các hệ thống kiểu này không có các luận kiểu khả định và rất khó để hiểu và lập trình với chúng.