@User Is there a function in magic that I can give a Type-list which expands it to all types it matches?