Types

What is the broader intuition around SUM & Product types?

Why do we need type constructors?

Difference between data newtype and alias

Quick differences between Haskell & PureScript type system?

SUM Types translate to If condition in Code. Is that always True?

What are the mechanisms of linking Types to Functions?

Similarities and Difference between type systems of Java/C++ & Haskell