Unless I'm missing something, generic algorithms that work across types, and algos that work on type internals are just two separate things. And the latter prob

Unless I'm missing something, generic algorithms that work across types, and algos that work on type internals are just two separate things. And the latter probably still wants to be encapsulated in the type.