- Implementation issues
- \subsection[sec:prototype:separate]{Separate compilation}
- - Simplified core?
-
- \section{Haskell language coverage and constraints}
- Recursion
- Builtin types
- Custom types (Sum types, product types)
- Function types / higher order expressions