The type of arguments accepted by the underlying tool.
The type of result produced by the underlying tool.