Menurut A History of Haskell: Being Lazy With Class (lihat bagian 7) tiga model yang berbeda dipertimbangkan pada awalnya: stream , continuations , dan "passing dunia" (Saya tidak tahu banyak tentang Clean, tapi sepertinya ini adalah cara Clean) ?).
Paragraf terakhir dari bagian 7.2 menunjukkan bahwa konsep tipe keunikan tidak dikembangkan saat ini:
Model “pelintas dunia” ini tidak pernah menjadi pesaing serius bagi Haskell, karena kami tidak melihat cara mudah untuk memastikan akses “single-threaded” ke negara dunia. (Desainer Bersih akhirnya memecahkan masalah ini melalui penggunaan "tipe keunikan")
Konsep monads tampaknya telah diperkenalkan (digunakan kembali dari karya lain) dalam revisi Haskell kemudian karena menghasilkan kode yang lebih bersih (dibandingkan dengan kelanjutan / aliran):
Pendekatan monadik dengan cepat mendominasi model sebelumnya. Jenisnya lebih kompak, dan lebih informatif.