`(.)` hangs in certain cases

For example, in `many . z` for all schemes `z` that allow frequency zero, such as `opt`.

Specifically, `sizes (many . Cons (Just undefined) undefined)` hangs.

Is it reasonable for this example to hang? If not, what output do we expect?
