Types, Library