def Group.sub

import bend-lawful-stdlib@0.1.0.0/src/class.bend as Class

import Base

57def Group.sub(-A: Data, d: Group<A>, a: A, b: A) -> A:
58  match d:
59    case Group{add, sub, sub_add, add_sub}:
60      sub(a, b)

Uses (1)