typocomath/src/experiment/arithmeticInfer.ts

import { $reflect } from '../core/$reflect.js'

export const square = $reflect('__infer__', <T>(dep: {
  multiply: (a: T, b: T) => T,
  unaryMinus: (x: T) => T, // just for the experiment
}): (a: T) => T =>
  z => dep.multiply(z, z)
)