For polymorphic functions, the type parameters are assumed to be Py.Object.t, except if there is a keyword argument type: the associated value can either be a single type if there is a single type ...