def Group.add

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

import Base

52def Group.add(-A: Data, d: Group<A>, a: A, b: A) -> A:
53  match d:
54    case Group{add, sub, sub_add, add_sub}:
55      add(a, b)

Uses (1)