We will describe a type $F_{\infty}$ group of homeomorphisms of the circle that is nonamenable and does not contain nonabelian free subgroups. The talk will focus on the finiteness properties of the group.