List of things you don't have to know to be producive in Haskell:
- Category theory
- Type theory
- Constructive mathematics
- Lambda calculus
List of things that may prove helpful in special cases in Haskell:
- Category theory
- Type theory
- Constructive mathematics
- Lambda calculus