Pass the type witness implicitly