Everthing matches for at least 10 steps.
Finally we have agreement between repa and yarr. The type system
really didn't seem to help very much with transposing ps and qs. That
could be down to not using newtypes.