Türleri aynı kategoride olduğu sürece rasgele değerler içerebilen bir haritaya ihtiyacım var. Benim ilk naif yaklaşım böyle bir şeydi: type HMap = forall a . MyClass a => M.Map Int a
ama işe görünmü
Öğeleri, oluşturuldukları sırada sık sık güncelleştirildiklerinden, dönüştürülebilir olması gereken bir ağaçtan, matlaştırılmış bir matris listesi oluşturuyor. , doAll :: .. -> [ST s (STArray s (Int,