Control.Object

data Object e m

liftO

transObject

adaptObject

echo

(.>>.)

oneshot

stateful

class Stateful s f

data AccessT s f a

variable

type Access s

sequential