Why not simply `fAnd(H {DeclareAll T})` instead of the 3 above lines (and be rid of `Aux`)?