Haskell neden tür düzeyinde lambda soyutlamaları yapmıyor?

Bunun için bazı teorik nedenler (tip kontrolü veya tip çıkarımının kararsız hale geleceği gibi) veya pratik sebepler (düzgün şekilde uygulanması çok zor) var mı?

Şu anda, içine duruma hakim olabilir newtypegibi

newtype Pair a = Pair (a, a)

ve sonra Pair :: * -> *

ama biz böyle bir şey yapamayız λ(a:*). (a,a).

(Onlara sahip bazı diller vardır, örneğin Scala’nın yaptığı gibi )

Tip seviyesi lambdalarla tip çıkarımı, kararsız olan daha yüksek dereceli birleştirme gerektirir. Bu onlara izin vermeme konusundaki motivasyondur. Ancak diğer kararsız özelliklerde olduğu gibi (GADT'ler için tür çıkarımı gibi), tür imzaları istemek ve izin vermek mümkün olabilir. Bunun birileri tarafından araştırılıp soruşturulmadığından emin değilim.