Serokell's GHC team reports on their contributions toward dependent types in Haskell. Key highlights include wildcard binders in type declarations (allowing `_` in type synonyms and data declarations), type syntax in expressions for RequiredTypeArguments (enabling function types like `Int -> Bool` as arguments), and improved
Table of contents
SummaryWildcard binders in type declarationsType syntax in expressionsType constructors in patternsExtension stability and TypeAbstractionsFunction arity in error messagesOperator names in type argumentsRefactoring the kind checkerBonus section: CollaborationsPrevious updates on dependent typesConclusionSort: