let
light_help =
" Use light unification (no partial associativity for pair)"