Upper bound on pipes package for Control.Proxy