úÎ Ã , Safe-Infered A lax arrow. UTransforms a value of the base arrow type into a lax arrow value. Pure parts of the ] argument are not affected by relaxation, only parts of the lax arrow value which are  constructed with  from the  instance of . lift from the ArrowTransformer9 class is not used since it is probably supposed to be a  homomorphism but  is not a homomorphism. While  preserves  , it does not preserve ,  and  >. If it would then we would have no relaxation effect at all. @Converts a lax arrow value into a value of the base arrow type.        lax-0.1.0.3Control.Arrow.LaxLaxArrowimpurerunLaxbase Control.ArrowarrArrowControl.Category>>>firstloop$fArrowLoopLaxArrow$fArrowLaxArrow$fCategoryLaxArrow