Transform: Applicative is enough as execTransform constraint