try to debug
length is not inextensible
nightly
nightly
almost done!