I think this also does not compile. As radek mentioned, this is from finite sequence.