Materials for the Effective Programming with Effects practical at the Software Engineering group at University of Tübingen (@se-tuebingen, DRI @jiribenes)