Higher kinded types https://github.com/rust-lang/rfcs/issues/324