  We show that there is a type-preserving homomorphism from the fundamental
group of the figure-eight knot complement to the mapping class group of the
thrice-punctured torus. As a corollary, we obtain infinitely many
commensurability classes of purely pseudo-Anosov surface subgroups of mapping
class groups of closed surfaces. This gives the first examples of compact
atoroidal surface bundles over surfaces.
