`plots` fails to typechecking in 9.2
head.hackage for 9.2, I noticed that
plots now fails to typecheck,
src/Plots/Types.hs:697:17: error: • Reduction stack overflow; size = 201 When simplifying the following type: V p1 Use -freduction-depth=0 to disable this check (any upper bound you could choose might fail unpredictably with minor updates to GHC, so disabling the check is recommended if you're sure that type checking should terminate) • In the pattern: StyledPlot p opts sty In an equation for ‘styledPlot’: styledPlot f s@(StyledPlot p opts sty) = case eq p of Just Refl -> f p <&> \ p' -> StyledPlot p' opts sty Nothing -> pure s where eq :: Typeable a => a -> Maybe (a :~: p) eq _ = eqT | 697 | styledPlot f s@(StyledPlot p opts sty) = | ^^^^^^^^^^^^^^^^^^^^^
I haven't tried lifting the reduction depth yet.