:: a -> (a -> b) -> b -package:diagrams-lib -package:quaalude -package:lens-family-core -package:base-compat -package:config-ini package:configuration-tools
& 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 $.