HList FooAux operations replaced with Foo.Aux type aliases.