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

class Sortable xs

type SetLike s

type StateSet f

type IntersectR s t

class Update s t

type family Sort xs :: [k]

class Split s t st