Report question

Question: Type inference for a scala combinator calculus data model