Specialize types, get inner loop working.