Documentation

Data structures that are sequential, so that we can use them to build input-polymorphic functions. This is quite handy, as a lot of functions require special input, and it’s cumbersome to juggle fromList and toList all over the place.

It’s a good idea to add the ideal type as part of the type signature,

-- This will work best with a vector input, but can convert everything else as well
doStuff :: Sequential vector => vector a -> [a]