I\'m trying to infer part of a generic type definintion from an object passed to a function.
I have this so far:
