Library Impure

TODO: This chapter! (Old version was too impredicative)