If you want to do fancier things with preconditioning your system in conjunction with an iterative solver, I highly recommend migrating to DOLFINx. The Stokes demo is a great place to start.
Otherwise there are some old examples knocking around, e.g.,