No need to reverse the captures.
Simplify types.