But Roc already has generics, Go has managed to become very successful despite having a simpler type system than Roc.