I think I have a generic wocky that I like
I've got a permutations splitter and combiner that
look like they should work
The types line up, but the semantics is clearly wrong
Implementing a permutation function that works
I might be on to something, or I might be about to show that
I can't make a common function to do both permutations and
mergeSort in a language with system f like typing.

Either way everything is currently in a mess right now