Control.Effect.State

data Set n

get

put

data State s a

data k :-> v

data a :! s

data Eff

data Action s

data Var k

union

type UnionS s t

type family Reads t

type family Writes t

type Unionable s t

type Sortable s

type SetLike s

type StateSet f

type IntersectR s t

class Update t v

type Sort l

class Split s t st