Control.Effect.State
data Set n
data State s a
data k :-> v
data a :! s
data Eff
data Action s
data Var k
type UnionS s t
type family Reads t where ...
type family Writes t where ...
type Unionable s t
class Sortable xs
type SetLike s
type StateSet f
type IntersectR s t
class Update s t
type family Sort k (xs :: [k]) :: [k] where ...
class Split s t st