Realise lazy sequence in error message