export function createOperatorMultiply(
    options: { m?: string; n?: string; f?: string } = {}
): ILCExpression {
    // * : λm.λn.λf.(m (n f))
    const m = v(options.m, 'm');