Implementing Higher for [T]

[kitfre]

I'd like to implement Higher and all of the HOTs for [T], but I cannot get a Higher implementation to compile. It needs:

[A] needs std::marker::Sized

But when I bound A and B by sized, the same error occurs.

[kitfre]

Not currently possible in Rust I've learned, something for the future then!

[mgattozzi]

I'm currently in the process of implementing Lists so they can be used for functional programming here I don't think this is how it'll end up being like but it's a good start. I plan on using this crate to implement these traits..

[kitfre]

Oh awesome, I'll make sure to check it out!