Getting the last element of an iterator

[goerch]

Incidentally I actually used last for some kind of fixed point iteration here and defining it without type constraint seemingly broke my Atom IDE