Reductions construct combinators.
Imply types wherever possible.