Wai: Quantify type of proxy p
Wai: Lift proxy to ExceptionP