parcomb.idr: still trying to make it lazy