Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Only enable TypeInType on pre-8.6 GHCs
After GHC 8.6, `TypeInType`'s functionality was made a part of the `DataKinds` and `PolyKinds` extensions. Moreover, GHC 9.6 gives a deprecation warning when using `TypeInType`, so we now have an extra incentive to only enable `TypeInType` where absolutely necessary.
- Loading branch information