So I encountered a problem recently, and the best way to solve it was either:
newfor a specific variant of
S, however usually you don’t have any suitable “default” type
- having the user specify an irrelevant type
newbe a normal free function
Is there any proper solution I am not aware of?