IUTransforms 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 pure from the  instance of . lift from the ArrowTransformer9 class is not used since it is probably supposed to be a  homomorphism but impure is not a homomorphism. While impure preserves (>>>) , it does  not preserve pure, first and loop6. 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.  A lax arrow.  lax-0.0.0.1Control.Arrow.Laxbase Control.ArrowimpurerunLaxLaxArrowArrow