4f036c10 · Use tcEqType in GHC.Core.Unify.uVar · Oct 21, 2021

a8f57938 · Don't default type variables in type families · Oct 26, 2021

e6e276dd · Use Concrete# for defaulting of RuntimeReps · Oct 28, 2021

b1844a3a · User's guide: data family kind-inference changes · Oct 29, 2021

28334b47 · Default kind vars in tyfams with -XNoPolyKinds · Nov 08, 2021

30d25882 · Improvements to rank_polymorphism.rst · Nov 09, 2021

03d20469 · Clarify hs-boot file default method restrictions · Nov 09, 2021

74c4bcc2 · Allow boring class declarations in hs-boot files · Nov 17, 2021

705cd57b · Include "not more specific" info in overlap msg · Nov 19, 2021

917ca3c3 · Add Data.Bits changes to base 4.16 changelog · Nov 24, 2021

b74ff3e3 · More permissive parsing of higher-rank type IPs · Dec 06, 2021

4ad40ac7 · Re-export GHC.Types from GHC.Exts · Dec 07, 2021

2ee6084c · User's guide: newtype decls can use GADTSyntax · Dec 29, 2021

1aeb392d · Check quoted TH names are in the correct namespace · Jan 04, 2022

759cf886 · Kind TyCons: require KindSignatures, not DataKinds · Jan 10, 2022