You pass that method along with the value, so it's the caller's responsibility. At some point along the call stack there will be a monomorphic function which ha

You pass that method along with the value, so it's the caller's responsibility. At some point along the call stack there will be a monomorphic function which has to know the actual type it's calling its polymorphic callee with.