In Penknife, put the yoke first in the parameter lists of listLenEq(), listLenIsNat(), lenPlusNat(), listGetNat(), listRevAppend(), listAppend(), and listFlatten().