This PR will update Squeal to be GHC 9 compatible.
For terms of RankNType (i.e. universally quantified) this means fully saturating their definitions.
It also required simplifying the definition of IndexedMonadTrans due to a bug that should be fixed in GHC 9.4 and is work-aroundable thru simplification anyway.
CI is also updated to correctly integration-test Squeal with GHC 8.8, 8.10 and 9.0.
This PR will update Squeal to be GHC 9 compatible.
For terms of RankNType (i.e. universally quantified) this means fully saturating their definitions.
It also required simplifying the definition of
IndexedMonadTransdue to a bug that should be fixed in GHC 9.4 and is work-aroundable thru simplification anyway.CI is also updated to correctly integration-test Squeal with GHC 8.8, 8.10 and 9.0.