Ah, contracts seem ugly. If only operators could be method names we would not need contracts, we could just define generic types like an interfaces: type T

Ah, contracts seem ugly. If only operators could be method names we would not need contracts, we could just define generic types like an interfaces: type T generic { +(T) (T) ==(T) (bool) } Donno where to suggest this.