As far as I\'m aware (see here, and here) there is no type discovery mechanism in the reflect package, which expects that you already have an instance of the type or value y
No there is not.
If you want to 'know' your types you'll have to register them.