How do I turn on specialization to eliminate runtime dictionary passing?

Question

While looking at poor runtime performance of some Purescript code I wrote, I noticed that the generated Javascript code contains dictionary passing for overloaded definitions for eg transformers monads. However, all my exported functions are monomorphic, so the compiler should have no trouble specializing these overloaded occurrences.

If this were Haskell compiled with GHC, I'd check optimization flags, and things like making sure nothing is marked NOINLINE and that unfoldings are properly exposed for specialisable definitions. What are the equivalent techniques for Purescript?

Answer 1

PureScript v0.15.3 has an optimization for “common subexpression elimination for expressions created by the compiler in the process of creating and using typeclass dictionaries.” Maybe that will speed up your code.