“Forall What?” — Getting GHCi to tell you the real inferred type of a subexpression

Examples of when to use GADTs

GLOSSARY File