Further properties of Loader combinators.