ghc-8.10.1 version bump
UnliftedNewtypes extension, allowing
newtypes to be wrap types of kind other than Type.
StandaloneKindSignaturesextension, allowing explicit signatures on type constructors.
- A new, low-latency garbage collector for the oldest generation.
- GHC now supports visible type applications.
- Type variables in type family instances and rewrite rules can now be explicitly forall-bound.
- A new code layout algorithm for x86.
- The final phase of the MonadFail proposal has been implemented.
- Many, many bug fixes.
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information