Higher kinded typeはほしいですねぇ。 Self はあるのに Higher kinded type はないのと、 associatedtype があるとプロトコル型変数作れないのに associatedtype がなければ作れるのは何か中途半端感を感じます。