Remove example.
Make limit faster to typecheck.