Apakah ada beberapa alasan teoretis untuk itu (seperti pemeriksaan tipe atau inferensi tipe menjadi tidak dapat dipastikan), atau alasan praktis (terlalu sulit untuk diterapkan dengan benar)? Saat ini, kita bisa membungkusnya menjadi newtypeseperti newtype Pair a = Pair (a, a) dan kemudian...