An attempt to implement type-aligned sequences, as described in Reflection without Remorse.
A big hat tip to Paul Chiusano (@pchiusano) for crucial insight on how to encode the various fold functions in a way that allows for carrying along type information.
Don't expect anything to work or even be correct, this is experimental at best.