Tutorials on Modules, Functors and Libraries