úÎ Q XTransforms a value of the base arrow type into a lax arrow. Pure parts of the argument e arrow are not affected by relaxation, only parts of the lax arrow 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 into a value of the base arrow type.  A lax arrow.  lax-0.0.0Control.Arrow.Laxbase Control.ArrowimpurerunLaxLaxArrowArrow