Control.Monad.Classes.Proxied

data Proxied x m a

fromProxy#

toProxy#

reify

reflect

class Reifies k s a

data Proxy#

proxy#