Topics

• Common GHC Language Extensions
• Type Families
• Generalized Algebraic Data Types

Examples

• FunctionalDependencies
• Type Synonym Families
• Datatype Families
• Basic Usage