An implementation of fromListN for Steppable
fixed-points of XNor.
This should return an empty structure if the Int is negative.
If the target structure isn’t Steppable or the target structure
is Corecursive (i.e., unsafeFromList isn’t used), then
the default definition for fromListN should suffice.