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

Reply via email to