ddc-core-0.2.0.1: Disciple Core language and type checker.
crushEffect :: Ord n => Effect n -> Effect nSource
Crush compound effect terms into their components.
This is like trimClosure but for effects instead of closures.
For example, crushing DeepRead (List r1 (Int r2)) yields (Read r1 + Read r2).
DeepRead (List r1 (Int r2))
(Read r1 + Read r2)
Produced by Haddock version 2.10.0