Control.Proxy.Class

Core proxy class

class Proxy p

idT

coidT

(<-<)

(<~<)

request/respond substitution

class Interact p

(/</)

(\<\)

Laws

Polymorphic proxies

class MonadPlusP p

class MonadIOP p