Finished types -- modularized book