Ah! It seems like what I want to do is overload the similar
function for each of the concrete types, as stated here Stripping parameter from parametric types - #10 by jameson
Marking this as the solution for now, although please correct me if I’m wrong:)