Am 09/05/2022 um 10:12 schrieb Simon Peyton Jones: > I think the only downside is compilation time and code bloat. It can cause some rules to stop firing in a similar fashion as https://gitlab.haskell.org/ghc/ghc/-/issues/20364 discusses for W/W. But that can be fixed by adding the appropriate INLINE[ABLE] pragmas.