We do not have generics for top-level functions, only those within classes.
(Note that generics as of creating this issue have not yet been properly implemented in classes either).
High-level description of the feature
So we can have functions like this which are outside a class:
# this function is defined only on types which define the '+' operator
def my_function[A](first: A, second: A) -> A => first + second
Current Issue
We do not have generics for top-level functions, only those within classes. (Note that generics as of creating this issue have not yet been properly implemented in classes either).
High-level description of the feature
So we can have functions like this which are outside a class:
Description of potential implementation