Control.Object
data Object e m
liftO
echo
oneshot
stateful
variable
(.>>.)
transObject
adaptObject
sequential
loner
(.|>.)
sharing
data Request a b r
request
accept
acceptM
class Lift f g
get_
modify_
put_