I went with what Tim and Ben suggested with an extra parameter. It works pretty well except the last parameter is a bit annoying sometimes when dealing with Type, since Type is invariant.
Thanks for everyone's suggestions
I went with what Tim and Ben suggested with an extra parameter. It works pretty well except the last parameter is a bit annoying sometimes when dealing with Type, since Type is invariant.
Thanks for everyone's suggestions