New 'lift' macro empowers us to remove some 'implicit state =>'.