def apply[-⚬[_, _], |*|[_, _], =⚬[_, _], Var[_], VarSet, E, LE](lambdas: Lambdas[-⚬, |*|, Var, VarSet, E, LE])(using inj: BiInjective[|*|], variables: Variable[Var, VarSet]): Closures[-⚬, |*|, =⚬, Var, VarSet, E, LE, Lambdas[-⚬, |*|, Var, VarSet, E, LE]]