そしてついでに map の戻り値を [T] じゃなくて Self にしてほしい（過激派）

これ [Element] を [T] に変換するんで Self じゃなくて、 higher-kinded type がないとできないんですよねぇ・・・。