Select Code to Download

public T Foo<T>(Whatever<T> param) where T : (+), (-), (*), (/) {
 ...
}

// in Clean
foo:: a a a -> a | Arith a
...
public T foo<T>(T x, T y, T z) where T : IArith {
  return x + y * z;
}