Converting abstract types

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:)