Monads-and-their-applications Lecture notes from Daniel Schäppi's course, taught in URegensburg in WiSe2019 Shield: This work is licensed under a Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International License.