After beginning by giving a brief overview of how one can think of noncongruence modular curves as moduli spaces of elliptic curves with G-structures, we will discuss how these moduli interpretations fits into the greater body of knowledge concerning noncongruence subgroups, in particular focusing on the Unbounded Denominators Conjecture for their modular forms.