= Grammatik =

* Core-Problem: Typinferenz vs. Konstruktoren