Hlist Ordering derivation