make things not point free so that uhc doesn't get confused and go into an infinite loop