= Grammatik = * Core-Problem: Typinferenz vs. Konstruktoren * möglicherweise Problem: falsche Return-Expressions