https://9dok.net/document/qvlm82rr-fortgeschrittene-techniken-funktionalen-programmierung-vorlesung-vom-monadentransformer.html