Implement universally quantified type variables, both explicitly given by the user and inferred by the type inference algorithm.
Griffin Smith