diff --git a/src/Control/Monad/Effect/Dead.hs b/src/Control/Monad/Effect/Dead.hs index 35887a5c4..47a6ece90 100644 --- a/src/Control/Monad/Effect/Dead.hs +++ b/src/Control/Monad/Effect/Dead.hs @@ -6,6 +6,7 @@ import Control.Monad.Effect.State import Data.Semigroup import Data.Set +-- | A set of “dead” (unreachable) terms. newtype Dead a = Dead { unDead :: Set a } deriving (Eq, Foldable, Semigroup, Monoid, Ord, Show)