Data.Extensible.Effect

data Instruction xs a

type Eff xs

liftEff

hoistEff

handleWith

data Handler f g

Unnamed actions

data Action args a r

type family Function args r :: *

receive

Successive handling

(!-!!)

squash

nihility