We: Hey, find me TM and TRem such that exists SelectLeast[T, TM, TRem] where T defined by L = H :: T. And TM < H should hold.
1. hlistSelectLeast3 works since precedence
hlistSelectLeast3[H = _1, T = _2 :: _3 :: HNil, TM = ?, TRem = ?]: SelectLeast[H :: T, TM, H :: TRem]
We: Hey, find me TM2 and TRem2 such that exists SelectLeast[T2, TM2, TRem2] where T2 defined by T == H2 :: T2. And TM2 < H2 should hold.
2. hlistSelectLeast3 works since precedence