Tidied up implicit continuation example