refined -- comment and :: sequence constructor