Bjorn Reese wrote:
Most algorithms take the typelist as the first argument, but others do
not, e.g. mp_transform. If possible, I would like to see all
algorithms take typelist as the first argument.
It's not possible for L... to be first. Note the ellipsis.
