> I presume these `c_hkl_<something>` return `IO`? Then you need to `lift` them into `Pipe` (well, `Proxy`). Yes the c_hkl_<omesthing> method return IO a or IO () what do you mean exactly by lift them ihto pipe ? Cheers Frédéric