What problem makes you believe introspecting type annotations is the solution?

When producing a partial application (function) FXSL needs to discover
the actual types of the arguments used so far in order to be able to
re-construct the arguments with exactly those types later, when all
arguments for the original function have been collected.

Florent Georges has worked on a way to copy the type information of
complex (user-defined) types -- but in this case it is just a copy
operation, not really getting access to the type information itself:

Unfortunately, we have not been able to extend any of these two
solutions to solve the problem addressed by the other solution.

--
Cheers,
Dimitre Novatchev
---------------------------------------
Truly great madness cannot be achieved without significant intelligence.
---------------------------------------
To invent, you need a good imagination and a pile of junk
-------------------------------------
You've achieved success in your field when you don't know whether what
you're doing is work or play