Make -> optional in telescope syntax