fn sub(a: any, b: any) -> any