id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
2	unfoldU off-by-one	pumpkingod@…	anonymous	"unfoldU 5 (const $ JustS (1 :*: 1)) 1 

yields

toU [1.0,1.0,1.0,1.0,1.0,4.250268257e-314] (length 6).

This only happens if a NothingS is not encountered (i.e., if you're trying to use the length argument to limit the unfold)."	defect	assigned	minor		component1