Control.Effect.Reader

data Reader s a

ask

merge

data k :-> v

data Var k

class Subset s t

data Set n