module Exercise_15 where

{-
Wichtiges:
    - Syntax: Typannotation, Assoziativität, Pattern Matching, Guards, Currying, List Comprehensions
    - Typisierung: Typvariablen, Typklassen, Typbestimmung
    - QuickCheck
    - Induktionsbeweise: Schema!, Fallunterscheidung, Generalisierung, Strukturelle Induktion
    - Higher Order Functions: map, filter, fold, Lambdas, (.)
    - Pointfree Notation
    - Module, Typlassen, Instanzen
    - Datentypen: data vs. type vs. newtype, Abstraktionsfunktionen
    - (Huffman, Parser)
    - Lazy Evaluation: Redexes, Outside In, Unendliche Datenstrukturen
    - IO: do-Notation, warum die Sonderbehandlung?
    - (Endrekursion und Akkumulatoren)
-}