Intended release date: 13th Jan

Possible things to include still:

• Add named type wildcards #3500 Add named type wildcards
• Deriving Hashable #3446 Deriving Hashable (@kritzcreek mentioned he was going to look into this more in hopes of getting it in. Will also need a new non-breaking Prelude release)

Post-release tasks:

• Publish to Hackage
• Update npm package

New features

• Named type wildcards (Add named type wildcards #3500, @natefaubion)

  It's now possible to use ?hole style syntax in type signatures where you want the compiler to tell you the missing type. This was previously possible by using _ in a type signature, but now _ can be used without raising a warning, as long as it does not appear in a top level declaration.

Enhancements

• Improve error message for missing node.js in the repl (add longer error message for repl #3456, @justinwoo)
• Add Boolean kind to Prim.Boolean (add Boolean kind to Prim.Boolean #3389, @justinwoo)
• Link to documentation repo as docs for non-Prim built-in types/kinds (Link to documentation repo as docs for non-Prim built-in types/kinds #3460, @JordanMartinez)
• PSCi: Support multiple command types in paste-mode (PSCi: Support multiple command types in paste-mode #3471, @LiamGoodacre)
• Add row:column printing for source positions in error messages (make file paths clickable using pattern #3473, @justinwoo)
• Add :print directive for customizable repl printing (Add :print directive for customizable repl printing #3478, @hdgarrood)
• Implement qualified do (Implement QualifiedDo #3373, @pkamenarsky)
• Add better source positions to kind errors (Add better source positions to kind errors #3495, @natefaubion)

Fixes

• Remove references to previous kinds * and ! (Remove references to previous kinds * and ! #3458, @LiamGoodacre)
• Fix linting of unused type variables (Fix linting of unused type variables #3464, @LiamGoodacre)
• Avoid dropping super class dicts for the same class (Avoid dropping super class dicts for the same class #3461, @LiamGoodacre)
• Fix issue where Partial can foil TCO optimizations (Optimize inferred partial constraint fn #3218, @matthewleon)
• Fix quoting of record labels in error messages (Fix isUnquotedKey, fixes #3479 #3480, @hdgarrood)
• Prevent invalid JS being generated from awkward record labels (Prevent invalid JS being generated from awkward record labels #3486, @hdgarrood)
• Fix unnecessary quoting of reserved names when used as labels (Fix isUnquotedKey check to allow reserved names #3487, @hdgarrood)
• Fix source spans for binding groups (Fix source spans for binding groups #3462, @LiamGoodacre)
• Fix kind error for recursive data type (Fix kind error for recursive data type #3511, @natefaubion)

Other (internals)

• Add annotations to Type and Kind (Add annotations to Type and Kind #3484, @natefaubion)
• Use handwritten JSON instances for Type/Kind (Use handwritten JSON instances for Type/Kind #3496, @natefaubion)
• Remove pretty print constructors from Type (Remove pretty print constructors from Type #3498, @natefaubion)
• Add JSON compatibility tests (Json compat tests #3497, @hdgarrood)
• Remove the concept of the 'current module' in Docs (Remove the concept of the 'current module' in Docs #3506, @hdgarrood)

Let's try and do the 6-week release schedule after this, meaning the next one will be on the 24th of Feb, unless anyone objects / thinks we should do 8-week or something?