A Java library that can be used to resolve concrete types for parametrized methods at runtime by inspecting the call stack.