:: a -> (a -> b) -> b -package:diagrams-lib -package:quaalude -package:lens-family-core -package:config-ini -package:composition-prelude package:optics-core
& is a reverse application operator. This provides
notational convenience. Its precedence is one higher than that of the
forward application operator $, which allows & to be
nested in $.