GeneralizedExistentialと、HigherKindedTypeがそれぞれ無いことによって表現できないプログラムを上手く補完できるように感じてるけどあってるかな

3:46 AM

Collection.mapの結果は一時的な利用であればCollectionでさえあればよくって、中身の実装がArrayなのかLazyなのかは、mapの結果を得たときにプログラマが知る必要はなく、ランタイム時と最終的に確定した型に押し込めるタイミングで一意でさえあればいい、はず。